diff options
author | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2007-04-29 21:50:53 +0000 |
---|---|---|
committer | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2007-04-29 21:50:53 +0000 |
commit | 941b7aa1985417152f29f868409dea6bcdfa22e9 (patch) | |
tree | 730144855acba8932a621b3f0ea15b0d4dd83ab4 /nuttx/tools | |
parent | 242708e1f3011a1498da96d0722b07f68fe07cff (diff) |
Changes to resulting previous merge of arch/c5471 and arch/dm320 into arch/arm and
also to adding lpc214x to arch/arm.
git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@194 7fd9a85b-ad96-42d3-883c-3090e2eb8679
Diffstat (limited to 'nuttx/tools')
-rwxr-xr-x | nuttx/tools/configure.sh | 5 | ||||
-rwxr-xr-x | nuttx/tools/zipme.sh | 2 |
2 files changed, 5 insertions, 2 deletions
diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh index f7c519a90f..104c5e749c 100755 --- a/nuttx/tools/configure.sh +++ b/nuttx/tools/configure.sh @@ -50,7 +50,10 @@ fi BOARDDIR=${TOPDIR}/configs/${BOARD} if [ ! -d ${BOARDDIR} ]; then - echo "Directory ${BOARDDIR} does not exist" + echo "Directory ${BOARDDIR} does not exist. Options are:" + echo "" + echo `cd ${TOPDIR}/configs ; ls -1 | grep -v CVS | grep -v README.txt` + echo "" show_usage fi diff --git a/nuttx/tools/zipme.sh b/nuttx/tools/zipme.sh index dc2636d943..b182b3ca47 100755 --- a/nuttx/tools/zipme.sh +++ b/nuttx/tools/zipme.sh @@ -32,7 +32,7 @@ # POSSIBILITY OF SUCH DAMAGE. # -set -x +#set -x WD=`pwd` DATECODE=$1 |