Skip to content

Commit e3fa370

Browse files
authored
fix(make): skip existing start/dune init (#15218)
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
1 parent 5e6b69a commit e3fa370

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -127,7 +127,7 @@ check: $(BIN)
127127

128128
.PHONY: start
129129
start: $(BIN)
130-
@$(BIN) init start-file
130+
@[ -e start/dune ] || $(BIN) init start-file
131131
@$(BIN) build @start/build -w
132132

133133
.PHONY: fmt

0 commit comments

Comments
 (0)