From 2594c23c95d22f838952b0b335231ba81a657b0d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 7 Feb 2012 13:38:31 +0000
Subject: Initializers: handle By_copy accesses (e.g. for &(glob.field)) C2C:
 insert the correct Evalof for structs; clean up unused memcpy stuff
 test/regression: run with interpreter test/regression: add test cas
 &(glob.field) to initializers.c

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

(limited to 'configure')

diff --git a/configure b/configure
index 9c2618a..13e2181 100755
--- a/configure
+++ b/configure
@@ -17,16 +17,6 @@ bindir='$(PREFIX)/bin'
 libdir='$(PREFIX)/lib/compcert'
 target=''
 
-prompt() {
-    echo "$1 [$x] ? " | tr -d '\n'
-    read y
-    case "$y" in
-        "") ;;
-      none) x="";;
-         *) x="$y";;
-    esac
-}
-
 usage='Usage: ./configure [options] target
 
 Supported targets:
-- 
cgit v1.2.3