log kernel/make.py @ 294:e89cca5779b0

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