src/smpi/patch_source.sh

   1 #!/bin/bash
   2 INFILE="$1"
   3 OUTFILE="$2"
   4 SPFILE="replace_globals.cocci"
   5 TMPFILE=`mktemp ${OUTFILE}.XXXX`
   6
   7 trap "rm -f ${TMPFILE}" EXIT
   8 spatch -sp_file ${SPFILE} ${INFILE} -o ${TMPFILE} >/dev/null 2>/dev/null
   9 ./fixsrc.pl < ${TMPFILE} > ${OUTFILE}