From 3ffda353b0d92ccd0ff3693ad0be81531c3c0537 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 9 Mar 2011 13:35:00 +0000
Subject: Updated for Coq 8.3pl1.  Some cleanups in test/*/Makefile.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1597 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c47ac40..ad01271 100644
--- a/Makefile
+++ b/Makefile
@@ -95,7 +95,6 @@ proof: $(FILES:.v=.vo)
 extraction:
 	rm -f extraction/*.ml extraction/*.mli
 	$(COQEXEC) extraction/extraction.v
-	cd extraction && ./fixextract
 
 ccomp: driver/Configuration.ml
 	$(OCAMLBUILD) $(OCB_OPTIONS) Driver.native \
-- 
cgit v1.2.3