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
---
 extraction/fixextract | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100755 extraction/fixextract

(limited to 'extraction/fixextract')

diff --git a/extraction/fixextract b/extraction/fixextract
deleted file mode 100755
index 86ebdbdd..00000000
--- a/extraction/fixextract
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-
-echo "Patching files..."
-for i in *.patch; do patch < $i; done
-- 
cgit