grammar.py: Add support for --replace-whitespace

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2017-10-29 13:56:52 +01:00
commit 4fee6ac06e
2 changed files with 23 additions and 0 deletions

View file

@ -22,6 +22,7 @@ GENERATE = python ./$(GENERATE_PY) --log-level $(GENERATE_LOG_LEVEL
--unroll-lists \
--unroll-options \
--unroll-alternatives \
--replace-whitespace \
$(CHECK_SYMBOLS) \
--trim-symbols=$(shell echo $(TRIM_SYMBOLS) | sed 's/ */,/g') \
$(CREATE_EXTRA_ARGS)