aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/single.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/single.sh b/scripts/single.sh
index a0f2c571..98a7af30 100755
--- a/scripts/single.sh
+++ b/scripts/single.sh
@@ -8,6 +8,9 @@ then
exit 1
fi
+# Add trailing / to PREFIX when it's set but hasn't got one
+[ "$PREFIX" == "${PREFIX%/}" ] && PREFIX="${PREFIX:+$PREFIX/}"
+
# Harvest TOYBOX_* symbols from .config
if [ ! -e .config ]
then
@@ -41,7 +44,7 @@ do
echo "# CONFIG_TOYBOX is not set" >> "$KCONFIG_CONFIG" &&
grep "CONFIG_TOYBOX_" .config >> "$KCONFIG_CONFIG" &&
- export OUTNAME="${PREFIX:+/$PREFIX}$i"
+ export OUTNAME="$PREFIX$i"
rm -f "$OUTNAME" &&
scripts/make.sh || exit 1
done