diff --git a/Scripts/update.sh b/Scripts/update.sh index 61e6a5d..3ff973c 100755 --- a/Scripts/update.sh +++ b/Scripts/update.sh @@ -1,7 +1,5 @@ #!/bin/bash -set -x - # A `realpath` alternative using the default C implementation. filepath() { [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}" @@ -41,4 +39,4 @@ cp -r $SOURCE_DIR/* $SOURCE_DES/ mkdir -p $TEST_DEST cp -r $TEST_DIR/* $TEST_DEST/ -# rm -rf REPO_DIR \ No newline at end of file +rm -rf $REPO_DIR \ No newline at end of file