diff --git a/tools/configure.sh b/tools/configure.sh index e0dd40b7aa2..5551eebcd0d 100755 --- a/tools/configure.sh +++ b/tools/configure.sh @@ -24,7 +24,7 @@ TOPDIR="${WD}/.." MAKECMD="make" USAGE=" -USAGE: ${0} [-E] [-e] [-l|m|c|g|n|B] [L] [-a ] : [make-opts] +USAGE: ${0} [-E] [-e] [-l|m|c|g|n|B] [L] [-a ] [make-opts] Where: -E enforces distclean if already configured. @@ -40,8 +40,13 @@ Where: -L Lists all available configurations. -a is the path to the apps/ directory, relative to the nuttx directory - is the name of the board in the boards directory - configs/ is the name of the board configuration sub-directory + is either: + For in-tree boards: a : pair where is + the name of the board in the boards directory and is the name + of the board configuration sub-directory (e.g. boardname:nsh), or: For + out-of-tree custom boards: a path to the board's configuration directory, + either relative to TOPDIR (e.g. ../mycustomboards/myboardname/config/nsh) + or an absolute path. make-opts directly pass to make "