aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xnuttx/tools/mkdeps.sh8
1 files changed, 6 insertions, 2 deletions
diff --git a/nuttx/tools/mkdeps.sh b/nuttx/tools/mkdeps.sh
index acb600150..d8984e553 100755
--- a/nuttx/tools/mkdeps.sh
+++ b/nuttx/tools/mkdeps.sh
@@ -86,8 +86,12 @@ dodep ()
fi
done
if [ -z "$fullpath" ]; then
- echo "# ERROR: No readable file for $1 found at any location"
- show_usage
+ if [ -r $1 ]; then
+ fullpath=$1
+ else
+ echo "# ERROR: No readable file for $1 found at any location"
+ show_usage
+ fi
fi
fi