From b035877b01e8b8c2ea902d9f3732cf84bfed0fdf Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 29 Oct 2015 17:42:52 -0700 Subject: [PATCH] Removes an extra dollar sign from src/options/mktagheaders. The extra dollar sign came in as a copy paste from a Makefile. This was not proper bash. --- src/options/mktagheaders | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/options/mktagheaders b/src/options/mktagheaders index 63a19bc23..5ef3b3172 100755 --- 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 '};' -- 2.30.2