diff --git a/setup.sh b/setup.sh index 12fcb35..b190faf 100644 --- a/setup.sh +++ b/setup.sh @@ -10,6 +10,7 @@ DIR="`pwd`" echo "Working in '$DIR'." +echo "FORTEST: @='$@'" skip="false" if [[ "$1" == "skip" || "$2" == "skip" || "$3" == "skip" ]]; then echo "1='$1'"