From 2581b3800177fd68a49d248808ffadc904006948 Mon Sep 17 00:00:00 2001 From: Cotes Chung Date: Wed, 29 Jul 2020 02:15:53 +0800 Subject: [PATCH] Improved the build tool. Allows to specify an empty base-url. --- tools/build.sh | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/tools/build.sh b/tools/build.sh index 3381d5a91ef..d99b67f9ffb 100755 --- 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 ;;