Merge branch 'master' of git://github.com/mattgodbolt/gcc-explorer

10 years ago · 88a8e5e73a
parent f5a89d9f6e 1b10882deb
commit 88a8e5e73a
1 changed files with 3 additions and 0 deletions
--- a/c-preload/compiler-wrapper
+++ b/c-preload/compiler-wrapper
@ -3,5 +3,8 @@
 export LD_PRELOAD=$(dirname $0)/libpreload.so
 export ALLOWED_FOR_CREATE=/tmp 
 export ALLOWED_FOR_READ=/usr/local/include:/usr/include:/usr/lib:/usr/msp430:/usr/arm-linux-gnueabi/include:/tmp:/opt/intel
+# Last-gasp limits
+ulimit -t 10 # CPU time in seconds
+ulimit -v 500000 # virtual RAM limit in K

 "$@"