diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2008-08-29 15:36:02 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2008-08-29 15:36:02 +0000 |
commit | 850061ca09fa4555c7cac952c4455430c8f9dbd7 (patch) | |
tree | 2a8d29498e8b2b46ef412b94be49bfd4271b0a65 /nuttx/tools | |
parent | 872cf9f99f8b6e2a64781c0c6bc8aee6e35f5cb7 (diff) | |
download | px4-nuttx-850061ca09fa4555c7cac952c4455430c8f9dbd7.tar.gz px4-nuttx-850061ca09fa4555c7cac952c4455430c8f9dbd7.tar.bz2 px4-nuttx-850061ca09fa4555c7cac952c4455430c8f9dbd7.zip |
Fix Linux sim errors/warning
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@842 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/tools')
-rwxr-xr-x | nuttx/tools/configure.sh | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh index 5843e4440..094901ebc 100755 --- a/nuttx/tools/configure.sh +++ b/nuttx/tools/configure.sh @@ -1,7 +1,7 @@ #!/bin/bash # configure.sh # -# Copyright (C) 2007 Gregory Nutt. All rights reserved. +# Copyright (C) 2007, 2008 Gregory Nutt. All rights reserved. # Author: Gregory Nutt <spudmonkey@racsa.co.cr> # # Redistribution and use in source and binary forms, with or without @@ -14,7 +14,7 @@ # notice, this list of conditions and the following disclaimer in # the documentation and/or other materials provided with the # distribution. -# 3. Neither the name Gregory Nutt nor the names of its contributors may be +# 3. Neither the name NuttX nor the names of its contributors may be # used to endorse or promote products derived from this software # without specific prior written permission. # @@ -52,7 +52,12 @@ BOARDDIR=${TOPDIR}/configs/${BOARD} if [ ! -d "${BOARDDIR}" ]; then echo "Directory ${BOARDDIR} does not exist. Options are:" echo "" - echo `cd ${TOPDIR}/configs ; ls -1 | grep -v CVS | grep -v README.txt` + echo "Select one of the following options for <board-name>:" + configlist=`find ${TOPDIR}/configs -name defconfig` + for defconfig in $configlist; do + config=`dirname $defconfig | sed -e "s,${TOPDIR}/configs/,,g"` + echo " $config" + done echo "" show_usage fi |