diff --git a/infer/bin/inferTest b/infer/bin/inferTest index d97b59309..d7135932e 100755 --- a/infer/bin/inferTest +++ b/infer/bin/inferTest @@ -14,7 +14,7 @@ # [$2] : "keep" or "replace". Keep will keep the temporary folders used in the tests. # Replace will replace the saved dot files with the new created ones. -SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd -P )" cd $SCRIPT_DIR/../../