From f1d236b83003eda71e12840732d159fd23b1b771 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 29 Apr 2014 13:58:18 +0000
Subject: Integration of Jacques-Henri Jourdan's verified parser. (Merge of
 branch newparser.)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 configure | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 00c9b8b..274c0a2 100755
--- a/configure
+++ b/configure
@@ -273,6 +273,9 @@ EOF
 
 fi
 
+# Avoid re-building cparser/Parser.v on the first run
+touch cparser/Parser.v
+
 # Summarize configuration
 
 if test "$target" = "manual"; then
-- 
cgit v1.2.3