diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-27 23:04:00 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-17 10:04:37 +0100 |
| commit | a410611d7af9d20ebd6c9e422fad5ac8c3b4236e (patch) | |
| tree | 2d143f0c1b59f2cf43e24f3f5a2d8185fef70899 | |
| parent | 44054dd8ad89e1d818de8aa2db55414c741cfa11 (diff) | |
| download | sparse-dev-a410611d7.tar.gz | |
llvm: fix creation of sparsec's tmp files
It seems the intention was to create the tmp files with
the suffixes but the files are create without the suffixes
(while the filename that is used later is with the suffixes).
In all case the non-suffixed file that is created by the
mktemp command is never removed and after a while these
files begin to pile-up. Better to remove them.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -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 |