diff --git a/build.sh b/build.sh index b4808c39fa585c2c847ec9e7918c661df0669ccb..1791b68cefbf25962c0909e16c03c25aab02d95a 100644 --- a/build.sh +++ b/build.sh @@ -15,6 +15,7 @@ usage() echo " -h Help" } + # check and set options process_options() {