diff options
| author | px4dev <px4@purgatory.org> | 2013-01-11 02:14:43 -0800 |
|---|---|---|
| committer | px4dev <px4@purgatory.org> | 2013-01-11 02:14:43 -0800 |
| commit | f127495caa2d45a1b1fff3be7a9d3756259d23e2 (patch) | |
| tree | 91daf599eae326f2207d0fbd9ede34b51eca1812 /nuttx/tools/incdir.sh | |
| parent | 48c5d63319be3b8da7c4cd598d2a31dceae842a7 (diff) | |
| download | px4-firmware-f127495caa2d45a1b1fff3be7a9d3756259d23e2.tar.gz px4-firmware-f127495caa2d45a1b1fff3be7a9d3756259d23e2.tar.bz2 px4-firmware-f127495caa2d45a1b1fff3be7a9d3756259d23e2.zip | |
Manually fixup merge botches via direct comparison with NuttX r5447.
Diffstat (limited to 'nuttx/tools/incdir.sh')
| -rwxr-xr-x | nuttx/tools/incdir.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/nuttx/tools/incdir.sh b/nuttx/tools/incdir.sh index eaae082b9..145bfe9bb 100755 --- a/nuttx/tools/incdir.sh +++ b/nuttx/tools/incdir.sh @@ -70,6 +70,9 @@ while [ ! -z "$1" ]; do echo " header file paths." echo " -d" echo " Enable script debug" + echo " -h" + echo " Shows this help text and exits." + exit 0 ;; * ) break; |