Skip to content

Commit

Permalink
Don't run test in build target
Browse files Browse the repository at this point in the history
  • Loading branch information
@proux01
proux01 committed Jul 13, 2024
1 parent 1931f7b commit 873e371
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ build-apps:
.PHONY: build-apps

build:
$(call dune,build) @install
$(call dune,build) -p coq-elpi @install
.PHONY: build

test-core:
Expand Down

0 comments on commit 873e371

Please sign in to comment.