summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLuc Maranget <luc.maranget@inria.fr>2012-12-31 12:55:52 +0000
committerLuc Maranget <luc.maranget@inria.fr>2012-12-31 12:55:52 +0000
commite9ed1df030b1bc4e951e8a6c9184f4e8ff327a14 (patch)
treea72a88265654aa8a3da8e9543cafbd9dbf8fc913
parente1b64853ab2fdab5d35981168eeb876f7daffbeb (diff)
downloadocaml-jo400.tar.gz
version to 4.00.1.Ajo400
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jo400@13181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--VERSION2
-rwxr-xr-xconfigure3
2 files changed, 3 insertions, 2 deletions
diff --git a/VERSION b/VERSION
index 00d9ec674d..fb11dd1346 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.00.1
+4.00.1.A
# The version string is the first line of this file.
diff --git a/configure b/configure
index 712544b85d..261c823aa2 100755
--- a/configure
+++ b/configure
@@ -205,7 +205,8 @@ then
fi
esac
has_ocaml=false
- jocaml_version=`cat $topdir/VERSION | ( read version && echo $version )`
+# jocaml_version=`cat $topdir/VERSION | ( read version && echo $version )`
+ jocaml_version=4.00.1
case "$ocamlc" in
"") echo "Warning: could not find ocamlc";;
*)