Improved the build tool.

Allows to specify an empty base-url.
leonardtang · Aug 1, 2020 · 2581b38 · 2581b38
1 parent 65e0ef8
commit 2581b38
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/tools/build.sh b/tools/build.sh
@@ -86,14 +86,11 @@ main() {
     opt="$1"
     case $opt in
       -b|--baseurl)
-        _check_unset $2
-        if [[ $2 == \/* ]]
-        then
-          CMD+=" -b $2"
-        else
-          _help
-          exit 1
+        local _baseurl="$2"
+        if [[ -z "$_baseurl" ]]; then
+          _baseurl='""'
         fi
+        CMD+=" -b $_baseurl"
         shift
         shift
         ;;