From 9d7175a2edae94125022416d548f5db7ae754764 Mon Sep 17 00:00:00 2001 From: dtc <dtc> Date: Tue, 5 Sep 2000 08:37:07 +0000 Subject: [PATCH] Work-around for recent versions of bash. --- tools/build-and-install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build-and-install b/tools/build-and-install index bc7c265ea..adcf817d5 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 () { -- GitLab