gcc/gcc41-ada-pr18302.patch

20 lines
346 B
Diff
Raw Normal View History

2006-04-21 20:45:38 +00:00
--- gcc/testsuite/ada/acats/run_all.sh 26 Apr 2004 21:15:54 -0000 1.18
+++ gcc/testsuite/ada/acats/run_all.sh 17 Feb 2005 14:24:49 -0000
@@ -11,9 +11,16 @@
gccflags="-O2"
gnatflags="-gnatws"
2006-04-21 20:45:38 +00:00
+timeout=120
target_run () {
2006-04-21 20:45:38 +00:00
+ sh -c "(sleep $timeout; kill \$\$) &
+x=\$!
$*
+s=\$?
+kill \$x
+exit \$s
+"
}
# End of customization section.