diff --git a/perforate.sh b/perforate.sh index 46fcc13de5ee017f0212db2e7340a75c7a71ba05..0df253bc4dab554e0211a390ce6ff2381144f3f7 100755 --- a/perforate.sh +++ b/perforate.sh @@ -82,7 +82,7 @@ while true; do shift done -input_src=$1 +input_src="$1" scop="$input_src.openscop" perforated="$input_src.perf.openscop" @@ -103,14 +103,17 @@ if [ "$cmd_perforate" = "yes" ]; then perfout="$(mktemp)" cat "$scop" > "$perfin" IFS="_" - for l in $level; do - IFS="" - perforate "$perfin" "$perfout" "$statement" "$l" + echo statement is $statement + for s in $statement; do + IFS=" " + echo perforate "$perfin" "$perfout" "$s" "$level" + perforate "$perfin" "$perfout" "$s" "$level" tmp="$perfin" perfin="$perfout" perfout="$tmp" done cat "$perfin" > "$perforated" + rm "$perfin" "$perfout" fi if [ "$cmd_generate" = "yes" ]; then