diff --git a/scripts/.make_target.sh b/scripts/.make_target.sh new file mode 100644 index 00000000..e3128f88 --- /dev/null +++ b/scripts/.make_target.sh @@ -0,0 +1,11 @@ +#!/bin/sh + +make $1 &> make.log +grep FAIL make.log +if [[ $? -ne 0 ]]; then + rm make.log + exit 0 +else + rm make.log + exit 1 +fi