diff --git a/tools/git-compileall b/tools/git-compileall index fedfc8ab0b1baa0d3d69ad18ad23147e8464cd44..750c7feb6d29abcf92e9e33325b51cc00487f756 100755 --- a/tools/git-compileall +++ b/tools/git-compileall @@ -25,7 +25,7 @@ while read a rest; do echo "####################### $a $rest" | tee -a $O > $tty git checkout $a 2>&1 | tee -a $O > $tty || send=1 git submodule update - make clean + make -s clean if make -s 2>&1 | tee -a $O > $tty; then true else