We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4501298 commit fae9750Copy full SHA for fae9750
scripts/opt-alive.sh.in
@@ -35,12 +35,16 @@ for arg in $@; do
35
done
36
37
38
+TIMEOUT=""
39
if [[ "$OSTYPE" == "darwin"* ]]; then
40
# Mac
41
TV_SHAREDLIB=tv.dylib
42
else
43
# Linux, Cygwin/Msys, or Win32?
44
TV_SHAREDLIB=tv.so
45
+ if [[ @FOR_ALIVE2_TEST@ == 0 ]]; then
46
+ TIMEOUT="timeout 4000"
47
+ fi
48
fi
49
50
TV=""
@@ -49,12 +53,10 @@ if [[ $SKIP_TV == 0 && $NPM_TV == 0 ]]; then
53
54
51
55
TV_REPORT_DIR=""
52
-TIMEOUT=""
56
TV_SMT_TO=""
57
TV_SMT_STATS=""
58
if [[ @FOR_ALIVE2_TEST@ == 0 ]]; then
59
TV_REPORT_DIR=-tv-report-dir=@CMAKE_BINARY_DIR@/logs
- TIMEOUT="timeout 4000"
60
TV_SMT_TO=-tv-smt-to=20000
61
TV_SMT_STATS=-tv-smt-stats
62
0 commit comments