Removes an extra dollar sign from src/options/mktagheaders. The extra dollar sign...

diff --git a/src/options/mktagheaders b/src/options/mktagheaders
index 63a19bc233973ebf2062b6a1e6c344949011a2b5..5ef3b3172d587cf8ab192c70939f8e8ce1ecdb89 100755 (executable)
--- a/src/options/mktagheaders
+++ b/src/options/mktagheaders
@@ -14,7 +14,7 @@ TAG_FILE=$1
 
 echo 'static char const* const '$TAG_FILE'[] = {';
 for tag in `cat $TAG_FILE`; do
-  echo "\"$$tag\",";
+  echo "\"$tag\",";
 done;
 echo 'NULL';
 echo '};'