diff --git a/labcodes/autotest.sh b/labcodes/autotest.sh index 5c6e443..2038b65 100755 --- a/labcodes/autotest.sh +++ b/labcodes/autotest.sh @@ -4,7 +4,7 @@ pushd `dirname "$0"` > /dev/null if [ -n "$1" ]; then - RESULT_SAVETO=`realpath $1` + RESULT_SAVETO="" fi BASE_COMMIT=1d8c85670d03ce745e32bbc57147835b210fe560 if [ -n "$2" ] && git log $2 > /dev/null 2>&1; then @@ -13,7 +13,7 @@ elif ! git log $BASE_COMMIT > /dev/null 2>&1; then echo "No valid base commit found." exit 0 fi -LABS=`git diff $BASE_COMMIT --stat | grep -o "lab[0-9]" | uniq` +LABS=`git diff $BASE_COMMIT --stat | grep -o "lab[1-8]" | sort | uniq` COMMIT=`git rev-parse HEAD` if [ "$LABS" = "" ]; then