summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2020-12-02 15:10:08 +0000
committerDavid Allsopp <david.allsopp@metastack.com>2020-12-02 15:10:08 +0000
commit9bdb94e22d143e29204813b6705d9032c7dd2253 (patch)
treefcb39d7f8213e4a24813696d6dc3490bd3833db9 /configure
parent7bbde5be870cdbd20281e3b7f0fcb2b36f755373 (diff)
downloadocaml-9bdb94e22d143e29204813b6705d9032c7dd2253.tar.gz
Remove last vestiges of MAX_TESTSUITE_RETRIES
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 1 insertions, 5 deletions
diff --git a/configure b/configure
index 2a608cc4e0..f1188f5580 100755
--- a/configure
+++ b/configure
@@ -758,7 +758,6 @@ afl
function_sections
flat_float_array
windows_unicode
-max_testsuite_dir_retries
flambda_invariants
flambda
frame_pointers
@@ -2923,7 +2922,6 @@ VERSION=4.13.0+dev0-2020-10-19
-
## Generated files
ac_config_files="$ac_config_files Makefile.build_config"
@@ -16859,7 +16857,6 @@ fi
case $host in #(
*-*-mingw32|*-pc-windows) :
- max_testsuite_dir_retries=1
case $WINDOWS_UNICODE_MODE in #(
ansi) :
windows_unicode=0 ;; #(
@@ -16869,8 +16866,7 @@ case $host in #(
as_fn_error $? "unexpected windows unicode mode" "$LINENO" 5 ;;
esac ;; #(
*) :
- max_testsuite_dir_retries=0
- windows_unicode=0 ;;
+ windows_unicode=0 ;;
esac
# Define flexlink chain and flags correctly for the different Windows ports