log kernel/make.py @ 295:917eab04b8b7

age author description
Thu, 28 Nov 2013 20:39:37 +0100 Windel Bouwman Try to improve build sequence base kernel/make.sh@790c6cd5a0c5