diff options
Diffstat (limited to 'jjb/pre-fetch/include-prefetch.sh')
| -rw-r--r-- | jjb/pre-fetch/include-prefetch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jjb/pre-fetch/include-prefetch.sh b/jjb/pre-fetch/include-prefetch.sh index 8571c5b5..2fae6d31 100644 --- a/jjb/pre-fetch/include-prefetch.sh +++ b/jjb/pre-fetch/include-prefetch.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -x +#set -x set +e # export BOARDS="qemux86-64 raspberrypi3 intel-corei7-64 m3ulcb-nogfx dra7xx-evm qemuarm qemuarm64" |