X-Git-Url: https://gerrit.linuxfoundation.org/infra/gitweb?a=blobdiff_plain;f=shell%2Fsudo-logs.sh;h=ccc7fb35e93f04fac4731b1e314a5ca380e92875;hb=04853ec1c27444d494afae28e8c181b711280f4b;hp=257ee23af6c6c3631f27f98817f297ed28abcf94;hpb=16ef1e41bfc882abecc24d0c4c3feb54ed664764;p=releng%2Fglobal-jjb.git

diff --git a/shell/sudo-logs.sh b/shell/sudo-logs.sh
index 257ee23a..ccc7fb35 100755
--- a/shell/sudo-logs.sh
+++ b/shell/sudo-logs.sh
@@ -13,8 +13,7 @@ echo "---> sudo-logs.sh"
 set -eu -o pipefail -o noglob
 
 # Copy/Generate 'sudo' log and copy to archive directory
-function copy_log()
-{
+copy_log () {
     case $os in
         fedora|centos|redhat|ubuntu|debian)
             if ! sudo cp "$sudo_log" /tmp; then