blob: 51f8b1e5c9e017c7c26c075e729ccdb72766ecbb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
load_base_board_description unix
# Compilation timeout 10min
set_board_info gcc,timeout 600
# Execution timeout 5min.
# DJ seems to ignore these and uses default timeout of 300.
set_board_info timeout 600
set test_timeout 600
# Unfortunatelly, current DejaGNU can't reliably kill timed-out
# processes, so wrap them in timeout.
#set_board_info exec_shell "timeout -k 30s 330s"
# -k flag not supported on RH60
# Use a timeout value slightly lower that DJ's, to avoid having DJ
# kill ptimeout
set_board_info exec_shell "ptimeout -s KILL 590"
# Mark this board as one for local testing
unset_board_info isremote
set_board_info isremote 0
|
