diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-06-01 01:23:31 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-01 01:23:31 +0200 |
commit | f3a388baf9cf2a14a658cab77554a0802b999486 (patch) | |
tree | fc35d65292b6c6a304351197339f2dfcf8cbaddd /test-suite/Makefile | |
parent | e732ef4d2e6e22eb39f5fc5af80124dfcbfdb950 (diff) | |
parent | 192fe7b7b7cc552fcdfa36015aeb8f2498f65b74 (diff) |
Merge PR#704: Fix empty parentheses display in test-suite
Diffstat (limited to 'test-suite/Makefile')
-rw-r--r-- | test-suite/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 6c04abcaa..a26f66285 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -45,7 +45,7 @@ REDIR := $(if $(VERBOSE),,> /dev/null 2>&1) # read out an emacs config and look for coq-prog-args; if such exists, return it get_coq_prog_args_helper = sed -n s'/^.*coq-prog-args:[[:space:]]*(\([^)]*\)).*/\1/p' $(1) -get_coq_prog_args = $(strip $(shell $(call get_coq_prog_args_helper,$(1)))) +get_coq_prog_args = $(strip $(shell $(call get_coq_prog_args_helper,$(1)))) SINGLE_QUOTE=" #" # double up on the quotes, in a comment, to appease the emacs syntax highlighter # wrap the arguments in parens, but only if they exist |