projects
/
arvados.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
18794: Merge branch 'main'
[arvados.git]
/
build
/
run-tests.sh
diff --git
a/build/run-tests.sh
b/build/run-tests.sh
index d517e7e2c4d921bbc91d8edd31f1ecfcee9bb881..0f996f77e927b4c4d6e0eae6458c4d80f3229be7 100755
(executable)
--- a/
build/run-tests.sh
+++ b/
build/run-tests.sh
@@
-158,6
+158,8
@@
only_install=
temp=
temp_preserve=
temp=
temp_preserve=
+ignore_sigint=
+
clear_temp() {
if [[ -z "$temp" ]]; then
# we did not even get as far as making a temp dir
clear_temp() {
if [[ -z "$temp" ]]; then
# we did not even get as far as making a temp dir
@@
-473,6
+475,10
@@
stop_services() {
}
interrupt() {
}
interrupt() {
+ if [[ -n "$ignore_sigint" ]]; then
+ echo >&2 "ignored SIGINT"
+ return
+ fi
failures+=("($(basename $0) interrupted)")
exit_cleanly
}
failures+=("($(basename $0) interrupted)")
exit_cleanly
}
@@
-1216,6
+1222,7
@@
else
setnextcmd
HISTFILE="$WORKSPACE/tmp/.history"
history -r
setnextcmd
HISTFILE="$WORKSPACE/tmp/.history"
history -r
+ ignore_sigint=1
while read -p 'What next? ' -e -i "$nextcmd" nextcmd; do
history -s "$nextcmd"
history -w
while read -p 'What next? ' -e -i "$nextcmd" nextcmd; do
history -s "$nextcmd"
history -w