diff options
author | Joris | 2020-07-13 21:36:46 +0200 |
---|---|---|
committer | Joris | 2020-07-13 21:36:46 +0200 |
commit | 447f43995ae8d83c82d98d9d8968e90d6c4518e7 (patch) | |
tree | 51b6c742f2f546161187ff5a10498cc29a581871 /Makefile | |
parent | 41603e85dafa3960948d6078d1b636266bf390f3 (diff) |
Fix deployment
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ export PATH := node_modules/.bin:$(PATH) build: public/main.js -public/main.js: node_modules $(shell find src \( -type d -o \( -type f -a -regex ".*\.ml" \) \)) +public/main.js: install $(shell find src \( -type d -o \( -type f -a -regex ".*\.ml" \) \)) @echo "Building $@" @bsb -make-world @rollup --config rollup.config.js |