tools/lintools/buildroot/buildroot.sh @@ -112,7 +112,10 @@ exit ; fi echo "" echo "" echo " Switch work space to \"$WORK_SPACE\" " echo "" mkdir -p $WORK_SPACE cd $WORK_SPACE }