diff options
Diffstat (limited to 'tests/scripts/common.sh')
-rw-r--r-- | tests/scripts/common.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/scripts/common.sh b/tests/scripts/common.sh index adc69b3062..1cce09d04e 100644 --- a/tests/scripts/common.sh +++ b/tests/scripts/common.sh @@ -262,6 +262,7 @@ terminate_proc() { done kill_quiet -9 $pid sleep 0.1 +} # $1, $2: the two files to check for equality # $3: Strings to be ignored, separated by | |