diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -33,7 +33,7 @@ all: lib/COMPCERTSTAMP lib/COMPCERTSTAMP: (cd lib/CompCert && ./configure --ignore-coq-version $(ARCH)) - $(MAKE) -C lib/CompCert + $(MAKE) extraction -C lib/CompCert touch $@ install: |