cri-args-hostlists: honour OSSTEST_IGNORE_STOP

diff --git a/cri-args-hostlists b/cri-args-hostlists
index 00e92f1c42e3bf5113a98ec72366bd3e4c289ec1..3a7628fa82ad31a77ed4f024719178f4a146ed25 100644 (file)
--- a/cri-args-hostlists
+++ b/cri-args-hostlists
@@ -20,6 +20,7 @@
 export OSSTEST_CONFIG=production-config
 
 check_stop () {
+       if [ "x$OSSTEST_IGNORE_STOP" = xy ]; then return; fi
        for stop_dir in '' $HOME/testing.git/; do
                if test -f $stop_dir${1}stop; then
                        echo "$stop_dir${1}stop found - stopping"