diff options
| author | Maxime Dénès | 2017-05-28 12:51:42 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-05-28 12:51:42 +0200 |
| commit | 606ae29a6972ab8b11dfc010b2b52e85e99e69d9 (patch) | |
| tree | d3f97bf4b3328964d5b640f79e3e738bfc827c6d /test-suite/Makefile | |
| parent | ba0aa5993e4469b83a7bc5e9a03b347416fc2664 (diff) | |
| parent | cde87048ee6074e203db8b062740bec0be9484d2 (diff) | |
Merge PR#680: add Show test with -emacs flag for trunk
Diffstat (limited to 'test-suite/Makefile')
| -rw-r--r-- | test-suite/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index c2d6e540c6..b627f680b9 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 $(filter-out "-emacs-U" "-emacs",$(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 @@ -490,7 +490,7 @@ coq-makefile/%.log : coq-makefile/%/run.sh $(HIDE)(\ cd coq-makefile/$* && \ ./run.sh 2>&1; \ - if [ $$? = 0 ]; then \ + if [ $$? = 0 ]; then \ echo $(log_success); \ echo " $<...Ok"; \ else \ |