chore: makefile

This commit is contained in:
Simon Cruanes 2023-04-01 20:07:51 -04:00
parent ae7b1aef48
commit 58596a9bd5
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -30,7 +30,7 @@ update_next_tag:
sed -i "s/NEXT_VERSION/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli)
sed -i "s/NEXT_RELEASE/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli)
WATCH?=@src/all @tests/runtest
WATCH?=@src/check @tests/runtest
watch:
@dune build $(WATCH) -w