Merge branch 'tmp-mike2' of gtgit01.gt.design.ti.com:git/teams/mmi/ibl into tmp-mike2
[keystone-rtos/ibl.git] / time-make-all
1 #! /bin/sh
2 ./time-make clean
3 ./time-make c6472
4 LOGNAME=-null ./time-make c6472