diff options
Diffstat (limited to 'tool/Makefile')
| -rw-r--r-- | tool/Makefile | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tool/Makefile b/tool/Makefile index 53df7de5..0d90b3cd 100644 --- a/tool/Makefile +++ b/tool/Makefile @@ -3,14 +3,12 @@ CARGO_TARGET_DIR ?= $(shell pwd)/../target # We currently only support absolute paths. CARGO_TARGET_DIR := $(abspath $(CARGO_TARGET_DIR)) SQ ?= $(CARGO_TARGET_DIR)/debug/sq -SQV ?= $(CARGO_TARGET_DIR)/debug/sqv -all: src/sq-usage.rs src/sqv-usage.rs +all: src/sq-usage.rs +# Maintenance. .PHONY: update-usage -update-usage: src/sq-usage.rs src/sqv-usage.rs +update-usage: src/sq-usage.rs src/sq-usage.rs: make-usage.sh $(SQ) sh make-usage.sh $(SQ) >$@ -src/sqv-usage.rs: make-usage.sh $(SQV) - sh make-usage.sh $(SQV) >$@ |