diff options
author | Robert Sloan <varomodt@gmail.com> | 2015-10-19 00:10:06 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2015-10-19 00:10:06 -0400 |
commit | 89e967371a5e0c340b180bbaf97c25063ac6824a (patch) | |
tree | 0c999ada21cc2e5dfad90b305843e01775918749 /Makefile | |
parent | e05f2301e9878090a24101b00371df14ad3a7140 (diff) |
pull changes from desktop
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ COQLIBS := $(shell grep '^-' _CoqProject | tr '\n' ' ') include .make/cc.mk include .make/coq.mk -FAST_TARGETS += check_fiat clean +FAST_TARGETS += check_fiat check_bedrock clean .DEFAULT_GOAL = all .PHONY: all deps objects clean coquille |