diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-04 12:35:47 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-04 12:35:47 -0600 |
| commit | 89627d6c300f03551d82a672d634ed0217a241a4 (patch) | |
| tree | b362153fa2b538fa7bf100465160438244812b19 /nuttx/tools | |
| parent | 26f5a3472584cc27fa4ac10aa1b892f4dd62b7ae (diff) | |
| download | nuttx-89627d6c300f03551d82a672d634ed0217a241a4.tar.gz nuttx-89627d6c300f03551d82a672d634ed0217a241a4.tar.bz2 nuttx-89627d6c300f03551d82a672d634ed0217a241a4.zip | |
Don't copy build scripts for kernel build 'make exports'
Diffstat (limited to 'nuttx/tools')
| -rwxr-xr-x | nuttx/tools/mkexport.sh | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/nuttx/tools/mkexport.sh b/nuttx/tools/mkexport.sh index 562121bed..cbdcddc78 100755 --- a/nuttx/tools/mkexport.sh +++ b/nuttx/tools/mkexport.sh @@ -165,19 +165,21 @@ fi # Is there a linker script in this configuration? -if [ ! -z "${LDPATH}" ]; then +if [ "X${USRONLY}" != "Xy" ]; then + if [ ! -z "${LDPATH}" ]; then - # Apparently so. Verify that the script exists + # Apparently so. Verify that the script exists - if [ ! -f "${LDPATH}" ]; then - echo "MK: File ${LDPATH} does not exist" - exit 1 - fi + if [ ! -f "${LDPATH}" ]; then + echo "MK: File ${LDPATH} does not exist" + exit 1 + fi - # Copy the linker script + # Copy the linker script - cp -p "${LDPATH}" "${EXPORTDIR}/build/." || \ - { echo "MK: cp ${LDPATH} failed"; exit 1; } + cp -p "${LDPATH}" "${EXPORTDIR}/build/." || \ + { echo "MK: cp ${LDPATH} failed"; exit 1; } + fi fi # Save the compilation options |