diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:31:19 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:31:19 +0000 |
commit | def3a8ecb9b12214055c53af22cd6d3f939215c4 (patch) | |
tree | b59c461654708f52d54112cbaf50314b6855168c | |
parent | 6efa12e29c4b04a8ad41405d3023edc38a51f020 (diff) | |
download | vericert-kvx-def3a8ecb9b12214055c53af22cd6d3f939215c4.tar.gz vericert-kvx-def3a8ecb9b12214055c53af22cd6d3f939215c4.zip |
Add Args change to Makefile
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ VS:=$(filter-out $(LIBVS) $(IGNORE:%=%.v),$(VS)) .PHONY: coq clean -ARGS := -R Kami Kami +ARGS := -R CoqUp CoqUp coq: Makefile.coq.all $(MAKE) -f Makefile.coq.all |