5 echo "### BUILD FAILED"
11 oo="aa $CROSS_COMPILE aa";
13 if [ "aa $CROSS_COMPILE aa" == "aa aa" ]; then
16 if [ "$os" == "Darwin" ]; then
17 export CROSS_COMPILE=/opt/arm-elf/bin/arm-elf-
19 export CROSS_COMPILE=/cygdrive/c/devtools/CodeSourcery/Lite/bin/arm-none-eabi-
23 export BDIR=system/kernel/testsystem
24 make BOARDDIR=et_stm32_stamp clean
25 make BOARDDIR=et_stm32_stamp all
26 if [ $? -ne 0 ]; then quit 1