diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-08-06 16:17:11 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-08-06 16:17:11 +0200 |
| commit | d2f5e6b92738abf99ea5adfc09b038b35db6176e (patch) | |
| tree | b04d7cb39d05ffad25c1d765ae1084b23a4da96d /Makefile | |
| parent | 84131cb553c6cd1d17e3efe2b65b0f0855eb2cb5 (diff) | |
| download | git-bug-d2f5e6b92738abf99ea5adfc09b038b35db6176e.tar.gz | |
webui: pack the files only on demand
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,4 +15,4 @@ pack-webui: npm run --prefix webui build go run webui/pack_webui.go -.PHONY: build install test +.PHONY: build install test pack-webui |