handle pending asynchronous requests on finalize (should be harmless in

[simgrid.git] / src / smpi / patch_source.sh

diff --git a/src/smpi/patch_source.sh b/src/smpi/patch_source.sh
index fa085bb..89e981b 100755 (executable)
--- a/src/smpi/patch_source.sh
+++ b/src/smpi/patch_source.sh
@@ -2,7 +2,7 @@
 INFILE="$1"
 OUTFILE="$2"
 SPFILE="replace_globals.cocci"
-TMPFILE=`mktemp`
+TMPFILE=`mktemp ${OUTFILE}.XXXX`
 
 trap "rm -f ${TMPFILE}" EXIT
 spatch -sp_file ${SPFILE} ${INFILE} -o ${TMPFILE} >/dev/null 2>/dev/null