diff options
author | Holger Levsen <holger@layer-acht.org> | 2016-12-18 16:25:15 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-12-18 16:25:15 +0100 |
commit | d733b463b36219e88d27c771abbd76b199f43e37 (patch) | |
tree | 06a88512de5995360973e0d6229f110a132cff62 /bin | |
parent | a8559ba3036994b158e08ce468111c1a9538f967 (diff) | |
download | jenkins.debian.net-d733b463b36219e88d27c771abbd76b199f43e37.tar.xz |
whitespace improvements
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/common-functions.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/common-functions.sh b/bin/common-functions.sh index 87305712..f9f3db58 100755 --- a/bin/common-functions.sh +++ b/bin/common-functions.sh @@ -16,9 +16,11 @@ abort_if_bug_is_still_open() { # if the bug is not done (by some email address containing a @) if [ -z "$(grep "@" $TMPFILE)" ] ; then rm $TMPFILE + echo + echo echo "########################################################################" echo "# #" - echo "# https://bugs.debian.org/$1 is still open, aborting this job. #" + echo "# https://bugs.debian.org/$1 is still open, aborting this job. #" echo "# #" echo "########################################################################" echo |