declutch log in target-runner
This commit is contained in:
parent
70e79aba3d
commit
48430567b0
1 changed files with 4 additions and 2 deletions
|
|
@ -41,8 +41,10 @@ shift 11 || error "Not enough parameters"
|
|||
|
||||
INSTANCE_PARAMS=$*
|
||||
|
||||
STDOUT=c${CONFIG_ID}_i${INSTANCE_ID}_s${SEED}.stdout
|
||||
STDERR=c${CONFIG_ID}_i${INSTANCE_ID}_s${SEED}.stderr
|
||||
# STDOUT=c${CONFIG_ID}_i${INSTANCE_ID}_s${SEED}.stdout
|
||||
# STDERR=c${CONFIG_ID}_i${INSTANCE_ID}_s${SEED}.stderr
|
||||
STDOUT="/dev/null"
|
||||
STDERR="/dev/null"
|
||||
|
||||
if [ ! -x "${EXE}" ]; then
|
||||
error "${EXE}: not found or not executable (pwd: $(pwd))"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue