commiting some more automatic source patching stuff, and renamed some of the

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

diff --git a/src/smpi/patch_source.sh b/src/smpi/patch_source.sh
new file mode 100755 (executable)
index 0000000..9b43196
--- /dev/null
+++ b/src/smpi/patch_source.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+INFILE="$1"
+OUTFILE="$2"
+SPFILE="replace_globals.cocci"
+spatch -sp_file ${SPFILE} $1 -o $2.tmp >/dev/null 2>/dev/null
+./fixsrc.pl < $2.tmp > $2
+rm $2.tmp