1 files changed, 0 insertions, 8 deletions
diff --git a/configure b/configure
index 2b53b44..d8c63fe 100755
--- a/configure
+++ b/configure
@@ -163,14 +163,6 @@ LIBMATH=-lm
 EOF
 fi
 
-# Extract and configure Cil
-
-(cd cil && ./configure)
-
-# Extract 'ARCHOS' info from Cil configuration
-
-grep '^ARCHOS=' cil/config.log >> Makefile.config
-
 # Summarize configuration
 
 if test "$target" = "manual"; then