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 /Makefile | |
| parent | 6efa12e29c4b04a8ad41405d3023edc38a51f020 (diff) | |
| download | vericert-def3a8ecb9b12214055c53af22cd6d3f939215c4.tar.gz vericert-def3a8ecb9b12214055c53af22cd6d3f939215c4.zip | |
Add Args change to Makefile
Diffstat (limited 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 |