|
@ -4,7 +4,7 @@ |
|
|
pushd `dirname "$0"` > /dev/null |
|
|
pushd `dirname "$0"` > /dev/null |
|
|
|
|
|
|
|
|
if [ -n "$1" ]; then |
|
|
if [ -n "$1" ]; then |
|
|
RESULT_SAVETO=`realpath $1` |
|
|
|
|
|
|
|
|
RESULT_SAVETO="" |
|
|
fi |
|
|
fi |
|
|
BASE_COMMIT=1d8c85670d03ce745e32bbc57147835b210fe560 |
|
|
BASE_COMMIT=1d8c85670d03ce745e32bbc57147835b210fe560 |
|
|
if [ -n "$2" ] && git log $2 > /dev/null 2>&1; then |
|
|
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." |
|
|
echo "No valid base commit found." |
|
|
exit 0 |
|
|
exit 0 |
|
|
fi |
|
|
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` |
|
|
COMMIT=`git rev-parse HEAD` |
|
|
|
|
|
|
|
|
if [ "$LABS" = "" ]; then |
|
|
if [ "$LABS" = "" ]; then |
|
|