From 307da4d1fb744bb3c66e5a43acd7702f0ce1b7ac Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 13 Jan 2010 09:53:07 +0000
Subject: Backtracking on commit 1220

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

(limited to 'configure')

diff --git a/configure b/configure
index 23db505..2b53b44 100755
--- a/configure
+++ b/configure
@@ -136,7 +136,12 @@ ARCH=
 VARIANT=
 
 # Target operating system and development environment
-# See $(ARCH)/PrintAsm.ml for possible choices
+# Possible choices for PowerPC:
+# SYSTEM=macosx
+# SYSTEM=linux
+# SYSTEM=diab
+# Possible choices for ARM:
+# SYSTEM=linux
 SYSTEM=
 
 # C compiler for compiling library files
-- 
cgit v1.2.3