Skip to content

Commit 5e6577a

Browse files
committed
Make sure the build rule builds _build/install
1 parent b4dece9 commit 5e6577a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ default all: build
88

99
.PHONY: build
1010
build:
11-
dune build
11+
dune build -p ocsigenserver
1212
${MAKE} -C src/server build
1313
doc:
1414
$(MAKE) -C doc

0 commit comments

Comments
 (0)