X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4df5122b9e0586dfe7e7625d6a78966c47da509c..7705e849132559bfd169a04c26296cc22f2d3743:/src/smpi/patch_source.sh

diff --git a/src/smpi/patch_source.sh b/src/smpi/patch_source.sh
index 6587641044..89e981b5fa 100755
--- a/src/smpi/patch_source.sh
+++ b/src/smpi/patch_source.sh
@@ -2,4 +2,8 @@
 INFILE="$1"
 OUTFILE="$2"
 SPFILE="replace_globals.cocci"
-spatch -sp_file ${SPFILE} ${INFILE} 2>/dev/null | patch -o - | ./fixsrc.pl > ${OUTFILE}
+TMPFILE=`mktemp ${OUTFILE}.XXXX`
+
+trap "rm -f ${TMPFILE}" EXIT
+spatch -sp_file ${SPFILE} ${INFILE} -o ${TMPFILE} >/dev/null 2>/dev/null
+./fixsrc.pl < ${TMPFILE} > ${OUTFILE}