trunk/gcclocal/vcs_diff_script_source.patch results

File details

./trunk/gcclocal/vcs_diff_script_source.patch 2026-09-15-05:57

Used binaries

Binaries version

> uname -a
Linux ServeurCuves 6.8.0-106-generic #106-Ubuntu SMP PREEMPT_DYNAMIC Fri Mar  6 07:58:08 UTC 2026 x86_64 x86_64 x86_64 GNU/Linux

Full file content

 
diff --git a/scripts/check-all-rtl.sh b/scripts/check-all-rtl.sh
index b24b91e..5c16fb7 100755
--- a/scripts/check-all-rtl.sh
+++ b/scripts/check-all-rtl.sh
@@ -710,6 +710,10 @@ elif [[ ( "X$machine_host" == "Xidefix" )
   DO_CHECK_LLVM=1
   test_linux_with_libc=1
   GLOBAL_FPMAKEOPT="-T 4"
+  if [[ ( "X$machine_host" == "Xgcclocal" ) ]] ; then
+    # Slow machine :-(
+    ULIMIT_TIME=999
+  fi
 ## aarch64 linux machines
 elif [[	( "X$machine_host" == "Xgcc80" )
        	|| ( "X$machine_host" == "Xgcc103" )