diff options
author | David Allsopp <david.allsopp@metastack.com> | 2020-12-02 15:10:08 +0000 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2020-12-02 15:10:08 +0000 |
commit | 9bdb94e22d143e29204813b6705d9032c7dd2253 (patch) | |
tree | fcb39d7f8213e4a24813696d6dc3490bd3833db9 /configure | |
parent | 7bbde5be870cdbd20281e3b7f0fcb2b36f755373 (diff) | |
download | ocaml-9bdb94e22d143e29204813b6705d9032c7dd2253.tar.gz |
Remove last vestiges of MAX_TESTSUITE_RETRIES
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 1 insertions, 5 deletions
@@ -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 |