diff options
| -rwxr-xr-x | diff-abi.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/diff-abi.sh b/diff-abi.sh index 723c3db..1bdb120 100755 --- a/diff-abi.sh +++ b/diff-abi.sh @@ -3,7 +3,7 @@ ROOT_DIR=$(readlink -f $(dirname $0)) source ${ROOT_DIR}/helper/generic -export CONFIGURE_FLAGS="" +export CONFIGURE_FLAGS="${CONFIGURE_FLAGS:-""}" export GIT_BRANCH="${GIT_BRANCH:-master}" export COMPARE_BRANCH="${COMPARE_BRANCH:-api-next}" @@ -45,6 +45,7 @@ usage() { echo -e "\tCOMPARE_BRANCH:\t which branch to checkout and test, default: master" echo -e "\tCLEANUP:\t to save workspace set CLEANUP=0, default: 1" echo -e "\tDETAILED_DIFF:\t to see a detailed list set DETAILED_DIFF=1, default: 0" + echo -e "\tCONFIGURE_FLAGS:\t modify the config flags" ${PLATFORM_SHORT}_usage } |