1 files changed, 3 insertions(+), 1 deletions(-)
diff --git a/configure b/configure
-index 37d46c2..fa96ef8 100755
+index 9be5199..236e016 100755
--- a/configure
+++ b/configure
@@ -284,7 +284,8 @@ case "$bytecc,$host" in
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/configure b/configure
-index fa96ef8..40a78cb 100755
+index 236e016..d4287ed 100755
--- a/configure
+++ b/configure
-@@ -1639,7 +1639,7 @@ echo "DEBUGGER=$debugger" >> Makefile
+@@ -1643,7 +1643,7 @@ echo "DEBUGGER=$debugger" >> Makefile
echo "CC_PROFILE=$cc_profile" >> Makefile
echo "SYSTHREAD_SUPPORT=$systhread_support" >> Makefile
echo "PARTIALLD=$partialld" >> Makefile
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/configure b/configure
-index 40a78cb..dbad12d 100755
+index d4287ed..d6ba2e3 100755
--- a/configure
+++ b/configure
@@ -620,13 +620,14 @@ if test $withsharedlibs = "yes"; then
1 files changed, 21 insertions(+), 4 deletions(-)
diff --git a/tools/objinfo.ml b/tools/objinfo.ml
-index 4f467f2..89855da 100644
+index 4f467f2..b75b83a 100644
--- a/tools/objinfo.ml
+++ b/tools/objinfo.ml
@@ -44,8 +44,12 @@ let print_name_crc (name, crc) =