Skip to content

Commit 596e6d4

Browse files
author
Marcello Seri
committed
Makefile: do not use --dev in the release build
Signed-off-by: Marcello Seri <[email protected]>
1 parent 9db3f9c commit 596e6d4

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

Makefile

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,12 @@ OPAM_LIBDIR=$(DESTDIR)$(shell opam config var lib)
33

44
.PHONY: build release install uninstall clean test doc reindent
55

6+
release:
7+
jbuilder build @install -j $$(getconf _NPROCESSORS_ONLN)
8+
69
build:
710
jbuilder build @install --dev -j $$(getconf _NPROCESSORS_ONLN)
811

9-
release:
10-
jbuilder build @install
1112

1213
install:
1314
jbuilder install --prefix=$(OPAM_PREFIX) --libdir=$(OPAM_LIBDIR)

0 commit comments

Comments
 (0)