From 68fd74d7644c525bacb41510b1874ba9bc1bce9a Mon Sep 17 00:00:00 2001
From: unknown <joerg@trift2.>
Date: Fri, 28 Dec 2007 16:10:17 +0100
Subject: [PATCH] scripts/make_binary_distribution.sh     After-merge fix for
 bug#33536: The target to copy to is now called "$DEST".

scripts/make_binary_distribution.sh:
  After-merge fix for bug#33536: The target to copy to is now called "$DEST".
---
 scripts/make_binary_distribution.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh
index 1e9ec362d76..029679ceec9 100644
--- a/scripts/make_binary_distribution.sh
+++ b/scripts/make_binary_distribution.sh
@@ -222,7 +222,7 @@ if [ x"$BASE_SYSTEM" != x"netware" ] ; then
     if [ -z "$gcclib" ] ; then
       echo "Warning: Compiler doesn't tell libgcc.a!"
     elif [ -f "$gcclib" ] ; then
-      $CP $gcclib $BASE/lib/libmygcc.a
+      $CP $gcclib $DEST/lib/libmygcc.a
     else
       echo "Warning: Compiler result '$gcclib' not found / no file!"
     fi