+echo "create gcc-lib/"
+#
+# A bunch of stuff gets lumped into gcc-lib:
+#
+# - the gcc-lib/ + gcc-lib/include of the gcc you
+# intend to ship (normally located as
+# lib/gcc-lib/mingw/<gcc version>/ in your mingw tree.)
+# - the contents of mingw/lib/
+# - ld.exe, as.exe, dlltool.exe, dllwrap.exe from mingw/bin
+# to gcc-lib/
+# - ar.exe from mingw/bin to bin/
+#
+mkdir gcc-lib
+mkdir gcc-lib/include
+cp $gcc_lib/* gcc-lib/
+cp $gcc_lib/include/* gcc-lib/include/
+cp $mingw_lib/* gcc-lib/
+cp $mingw_bin/as.exe gcc-lib/
+cp $mingw_bin/ld.exe gcc-lib/
+cp $mingw_bin/ar.exe bin/
+# Note: later versions of dlltool.exe depend on a bfd helper DLL.
+cp $mingw_bin/dllwrap.exe gcc-lib/
+cp $mingw_bin/dlltool.exe gcc-lib/
+rm gcc-lib/f771.exe || echo "good - f771.exe not found"