diff options
Diffstat (limited to 'misc/drivers/rtl8187x/INSTALL.sh')
| -rwxr-xr-x | misc/drivers/rtl8187x/INSTALL.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/drivers/rtl8187x/INSTALL.sh b/misc/drivers/rtl8187x/INSTALL.sh index 64b9fd1c6..fadb5b98c 100755 --- a/misc/drivers/rtl8187x/INSTALL.sh +++ b/misc/drivers/rtl8187x/INSTALL.sh @@ -125,6 +125,7 @@ for file in ${files}; do { echo "ERROR: failed to remove ${nuttxdir}/${dest}/${file}"; exit 8; } else echo "Please remove that file and re-start the installation" + echo "Or use the -f option to force over writing of the file" exit 8 fi fi |