Skip to content
Snippets Groups Projects
Commit 9d7175a2 authored by dtc's avatar dtc
Browse files

Work-around for recent versions of bash.

parent 9aa51d29
No related branches found
No related tags found
No related merge requests found
......@@ -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 ()
{
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment