summaryrefslogtreecommitdiffstats
path: root/nuttx/configs/micropendous3
diff options
context:
space:
mode:
authorpatacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679>2011-06-10 21:03:38 +0000
committerpatacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679>2011-06-10 21:03:38 +0000
commit8751e05f921a05a0dea103056ac5697335d0de0c (patch)
treeebffe4b73276f07d33faa7296227efd55947f4c5 /nuttx/configs/micropendous3
parent4b109ff5acac9d6a1946c45077f6ab640ae56590 (diff)
Add configuratin options to control the PIC32 configuration words
git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@3691 7fd9a85b-ad96-42d3-883c-3090e2eb8679
Diffstat (limited to 'nuttx/configs/micropendous3')
-rwxr-xr-xnuttx/configs/micropendous3/ostest/setenv.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/nuttx/configs/micropendous3/ostest/setenv.sh b/nuttx/configs/micropendous3/ostest/setenv.sh
index 6c6e52c8e7..fc11ea4c0f 100755
--- a/nuttx/configs/micropendous3/ostest/setenv.sh
+++ b/nuttx/configs/micropendous3/ostest/setenv.sh
@@ -32,14 +32,14 @@
# POSSIBILITY OF SUCH DAMAGE.
#
-if [ "$(basename $0)" = "setenv.sh" ]; then
+if [ "$_" = "$0" ] ; then
echo "You must source this script, not run it!" 1>&2
exit 1
fi
WD=`pwd`
if [ ! -x "setenv.sh" ]; then
- echo "This script must be executed from the toplevel NuttX build directory"
+ echo "This script must be executed from the top-level NuttX build directory"
exit 1
fi