run-tests: also send a message in the Keyboard interrupt case
The next patch will do something equivalent, so lets do the change in an
independant changeset first in case we need to bisect something in the future.
--- a/tests/run-tests.py Sun May 22 14:21:59 2022 +0200
+++ b/tests/run-tests.py Tue May 24 09:36:40 2022 +0200
@@ -2567,7 +2567,7 @@
test(result)
done.put(None)
except KeyboardInterrupt:
- pass
+ done.put(None)
except: # re-raises
done.put(('!', test, 'run-test raised an error, see traceback'))
raise