diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/init.cfg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/init.cfg b/tests/init.cfg index 55d757175..3a59bbd6b 100644 --- a/tests/init.cfg +++ b/tests/init.cfg @@ -34,6 +34,9 @@ sanitize_path_() export PATH } +# Use this function rather than init.sh's skip_. +# The "skip_" function emits its diagnostic only to one stream. +# This one emits it both to the tty and to the log file. skip_test_() { echo "$0: skipping test: $@" | head -1 1>&9 |