summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-08-08 14:07:01 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-08-08 14:07:01 +0000
commitf99a06904dbcf3cffdb7c33fb15939a004d34f2c (patch)
tree45c972ac6ccd0d49051157918be6773a1f9a1e68
parent3551f7054b125b41d58f78dbabb61999dac05f71 (diff)
Suppression de make configure
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--Makefile4
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 4d80de8c6..b37f46c3b 100644
--- a/Makefile
+++ b/Makefile
@@ -80,10 +80,6 @@ all: runtime camlc camllex camlyacc library camltop
# The compilation of camltop will fail if the runtime has changed.
# Never mind, just do make bootstrap to reach fixpoint again.
-# Configure the system
-configure:
- cd config; sh autoconf "$(BYTECC) $(CCLINKOPTS) $(CCLIBS)"
-
# Compile everything the first time
world: coldstart clean all