diff options
| author | Pierre-Marie Pédrot | 2019-06-24 10:51:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-06-24 10:51:41 +0200 |
| commit | 95ff3c577233bfa012464658110da6eadb89baa2 (patch) | |
| tree | d73b363f9535cbac8ac4c87c649f32b54f2756ca /test-suite/Makefile | |
| parent | e7ae7950bb50923e005898d18158593754108725 (diff) | |
| parent | 71ea3ca8b4d3a6fa6b005e48ff7586176b06259e (diff) | |
Merge PR #10394: [ide] chop sentences taking into account QUOTATION token
Ack-by: SkySkimmer
Ack-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'test-suite/Makefile')
| -rw-r--r-- | test-suite/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index a48a71c159..ec61f60791 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -299,6 +299,11 @@ unit-tests/%.ml.log: unit-tests/%.ml unit-tests/src/$(UNIT_LINK) $(HIDE)$(OCAMLBEST) -linkall -linkpkg -package coq.toplevel,oUnit \ -I unit-tests/src $(UNIT_LINK) $< -o $<.test; $(HIDE)./$<.test +unit-tests/ide/%.ml.log: unit-tests/ide/%.ml unit-tests/src/$(UNIT_LINK) + $(SHOW) 'TEST $<' + $(HIDE)$(OCAMLBEST) -linkall -linkpkg -package coq.ide,oUnit \ + -I unit-tests/src $(UNIT_LINK) $< -o $<.test; + $(HIDE)./$<.test ####################################################################### # Other generic tests |