diff options
Diffstat (limited to 'share')
-rw-r--r-- | share/autoinclude/general-rules.bld | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/autoinclude/general-rules.bld b/share/autoinclude/general-rules.bld index d568e11..cdc2d40 100644 --- a/share/autoinclude/general-rules.bld +++ b/share/autoinclude/general-rules.bld | |||
@@ -112,7 +112,7 @@ rule "bison" | |||
112 | profile "build" | 112 | profile "build" |
113 | { | 113 | { |
114 | BASE = INPUT.regex("\\.y", ""); | 114 | BASE = INPUT.regex("\\.y", ""); |
115 | execute("${BISON} -b${BASE} ${INPUT}"); | 115 | execute("${BISON} -b${BASE} ${BISONFLAGS} ${INPUT}"); |
116 | // if you add a -v bison will produce a .output file | 116 | // if you add a -v bison will produce a .output file |
117 | } | 117 | } |
118 | } | 118 | } |