diff options
Diffstat (limited to 'misc/drivers/INSTALL.sh')
-rwxr-xr-x | misc/drivers/INSTALL.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/misc/drivers/INSTALL.sh b/misc/drivers/INSTALL.sh index 86deca589..66205af9f 100755 --- a/misc/drivers/INSTALL.sh +++ b/misc/drivers/INSTALL.sh @@ -45,6 +45,7 @@ usage="USAGE: $0 [-d|h] <NuttX-path>" unset nuttxdir unset debug +unset force while [ ! -z "$1" ]; do case "$1" in @@ -52,6 +53,9 @@ while [ ! -z "$1" ]; do set -x debug="-d" ;; + -f ) + force="-f" + ;; -h ) echo "$usage" exit 0 @@ -93,5 +97,5 @@ for dir in "$DRIVERS"; do # Run the driver install script - ${dir}/INSTALL.sh $debug -t "${wd}/${dir}" -n "${nuttxdir}" + ${dir}/INSTALL.sh $debug $force -t "${wd}/${dir}" -n "${nuttxdir}" done |