plugin: more aggressive name change to avoid conflicts

[ia32rtools.git] / run_exp.sh

diff --git a/run_exp.sh b/run_exp.sh
index f90c7fe..319c2ab 100755 (executable)
--- a/run_exp.sh
+++ b/run_exp.sh
@@ -5,7 +5,8 @@
 # $2 - .in_c
 outf=$3
 
-grep '@' $1 | grep -v '\<DATA\>' | awk '{print $1}' > ${outf}_explist
+grep '@' $1 | grep -v '\<DATA\>' | grep -v '=' | \
+  awk '{print $1}' > ${outf}_explist
 
 echo ".text" > $outf
 echo ".align 4" >> $outf