diff options
Diffstat (limited to 'nuttx/configs/ntosd-dm320/setenv.sh')
| -rwxr-xr-x | nuttx/configs/ntosd-dm320/setenv.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/nuttx/configs/ntosd-dm320/setenv.sh b/nuttx/configs/ntosd-dm320/setenv.sh index bb3bd49c5..12656cfeb 100755 --- a/nuttx/configs/ntosd-dm320/setenv.sh +++ b/nuttx/configs/ntosd-dm320/setenv.sh @@ -1,7 +1,7 @@ #!/bin/sh -# setenv.sh +# ntosd-dm320/setenv.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. # @@ -32,7 +32,7 @@ # POSSIBILITY OF SUCH DAMAGE. # -if [ "$(basename $0)" = "setenv" ] ; then +if [ "$(basename $0)" = "setenv.sh" ] ; then echo "You must source this script, not run it!" 1>&2 exit 1 fi |