Skip to content

Commit

Permalink
chore: makefile
Browse files Browse the repository at this point in the history
  • Loading branch information
@c-cube
c-cube committed Sep 13, 2023
1 parent af71df8 commit a32e863
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@

OPTS="--profile=release --ignore-promoted-rules"
OPTS=--profile=release --ignore-promoted-rules

all:
@dune build @all $(OPTS)

Expand Down

0 comments on commit a32e863

Please sign in to comment.