diff --git a/tools/build-and-install b/tools/build-and-install index bc7c265ea9f2dbcb45a6d435439cb3b1aed71eb8..adcf817d5302a63219a300af80da8fdc72368c7c 100755 --- a/tools/build-and-install +++ b/tools/build-and-install @@ -32,7 +32,7 @@ sed_fix () ) } -mkdir_if_needed () { if test ! -d "$1"; then mkdir "$1"; fi } +mkdir_if_needed () { if test ! -d "$1"; then mkdir "$1"; fi; } usage () {