Skip to content

Commit

Permalink
modify Makefile
Browse files Browse the repository at this point in the history
Signed-off-by: lubegasimon <lubegasimon73@gmail.com>
  • Loading branch information
lubegasimon committed Jul 5, 2021
1 parent 055d2ef commit 303daf1
Showing 1 changed file with 1 addition and 6 deletions.
7 changes: 1 addition & 6 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -38,12 +38,7 @@ serve :

.PHONY : test
test : build
$(DUNE) runtest $(DUNE_ARGS) src/parser/test
$(DUNE) build $(DUNE_ARGS) @test/model/runtest --no-buffer -j 1
$(DUNE) build $(DUNE_ARGS) @test/html/runtest --no-buffer -j 1
$(DUNE) build $(DUNE_ARGS) @test/man/runtest --no-buffer -j 1
$(DUNE) build $(DUNE_ARGS) @test/latex/runtest --no-buffer -j 1
$(DUNE) build $(DUNE_ARGS) @test/xref2/runtest --no-buffer -j 1
$(DUNE) runtest $(DUNE_ARGS)

ODOC_RELATIVE_PATH := ../../_build/install/default/bin/

Expand Down

0 comments on commit 303daf1

Please sign in to comment.