diff options
| -rwxr-xr-x | sparsec | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -29,8 +29,8 @@ while [ $# -gt 0 ]; do shift done -TMPLLVM=`mktemp -t tmp.XXXXXX`".llvm" -TMPFILE=`mktemp -t tmp.XXXXXX`".o" +TMPLLVM=`mktemp -t tmp.XXXXXX.llvm` +TMPFILE=`mktemp -t tmp.XXXXXX.o` $DIRNAME/sparse-llvm $SPARSEOPTS > $TMPLLVM |
