diff options
| author | Gaëtan Gilbert | 2020-05-10 21:39:00 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-17 13:22:09 +0200 |
| commit | 7da245bd2db7496628645a43965e5df966234fd5 (patch) | |
| tree | 18401628f36c56ac72ab7529232e014cd52c55de /test-suite/Makefile | |
| parent | 4c69c4a870f5ef340536798dcdf1025e61a375f9 (diff) | |
Revert "[test] unit tests for ide/coq_lex.ml" + makefile support
This reverts commits 71ea3ca8b4d3a6fa6b005e48ff7586176b06259e and
0976a670cf853c9bc61b3eee6dceae4a429e066f.
Diffstat (limited to 'test-suite/Makefile')
| -rw-r--r-- | test-suite/Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index a0a2367236..9935c4eed0 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -315,11 +315,6 @@ 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 |