diff options
Diffstat (limited to 'experimental/webtry/safec')
| -rwxr-xr-x | experimental/webtry/safec | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/experimental/webtry/safec b/experimental/webtry/safec new file mode 100755 index 0000000000..9cc5771d49 --- /dev/null +++ b/experimental/webtry/safec @@ -0,0 +1,7 @@ +#!/bin/bash +# Limit the amount of time and the core size for the compiler. +set -e + +ulimit -t 5 -c 0 + +cc $@ |