diff --git a/scripts/ASTImportTest.sh b/scripts/ASTImportTest.sh index 7b34b14b0..800c5a514 100755 --- a/scripts/ASTImportTest.sh +++ b/scripts/ASTImportTest.sh @@ -79,7 +79,7 @@ for solfile in $(find $SYNTAXTESTS_DIR -name *.sol) do echo -n "." # create a temporary sub-directory - FILETMP=$(mktemp -d -p $WORKINGDIR) + FILETMP=$(mktemp -d) cd $FILETMP OUTPUT=$($SPLITSOURCES $solfile)