Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
commiting some more automatic source patching stuff, and renamed some of the
[simgrid.git] / src / smpi / patch_source.sh
1 #!/bin/bash
2 INFILE="$1"
3 OUTFILE="$2"
4 SPFILE="replace_globals.cocci"
5 spatch -sp_file ${SPFILE} $1 -o $2.tmp >/dev/null 2>/dev/null
6 ./fixsrc.pl < $2.tmp > $2
7 rm $2.tmp