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

@@ -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