File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -79,7 +79,7 @@ for directory in *; do
79
79
echo " Compiling inside isolate."
80
80
81
81
set +e
82
- isolate --cg -i /dev/null -t 15 -x 0 -w 20 -k 128000 -p120 --cg-timing --cg-mem=512000 -f 20480 \
82
+ isolate --cg -i /dev/null -t 20 -x 0 -w 25 -k 128000 -p120 --cg-timing --cg-mem=512000 -f 20480 \
83
83
-E HOME=/tmp -E PATH=" /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" \
84
84
-E LANG -E LANGUAGE -E LC_ALL -d /etc:noexec -d /files:noexec -d /NuGet/packages:noexec -d /usr/local/BosqueLanguage/impl:rw --run -- /bin/bash compile
85
85
@@ -107,7 +107,7 @@ for directory in *; do
107
107
echo " Running inside isolate."
108
108
109
109
set +e
110
- isolate --cg -t 10 -x 1 -w 15 -k 64000 -p100 --cg-timing --cg-mem=128000 --share-net -f 5120 \
110
+ isolate --cg -t 15 -x 1 -w 20 -k 64000 -p100 --cg-timing --cg-mem=128000 --share-net -f 5120 \
111
111
-E HOME=/tmp -E PATH=" /usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" \
112
112
-E LANG -E LANGUAGE -E LC_ALL -d /etc:noexec --run -- /bin/bash run < $workdir /stdin
113
113
You can’t perform that action at this time.
0 commit comments