build.bash: changed --dev option with --local

This commit is contained in:
Celestino Amoroso 2025-03-10 06:53:08 +01:00
parent ca7a3eeb97
commit 4337c219da

View File

@ -14,7 +14,7 @@ function usage() {
msgln "USAGE:" msgln "USAGE:"
#msgln " ${prog} <program-name> <program-version> <os>/<platform>..." #msgln " ${prog} <program-name> <program-version> <os>/<platform>..."
msgln " ${prog} <os>/<platform>..." msgln " ${prog} <os>/<platform>..."
msgln " ${prog} --dev Build the local exec" msgln " ${prog} --local Build the local exec"
msgln " ${prog} --init Create the resource file in the current directory" msgln " ${prog} --init Create the resource file in the current directory"
msgln msgln
if [ -r "${RESOURCE_FILE}" ]; then if [ -r "${RESOURCE_FILE}" ]; then
@ -197,7 +197,7 @@ eot
## -- MAIN -- ## ## -- MAIN -- ##
createVersionSource createVersionSource
if [ "${1}" == "--dev" ]; then if [ "${1}" == "--local" ]; then
buildLocal buildLocal
exit exit
fi fi