From 2e9c460a7bc3337c3d42d991a6f940a573e1d619 Mon Sep 17 00:00:00 2001 From: Dave Murphy Date: Mon, 14 May 2018 12:05:31 +0100 Subject: [PATCH] only need 1 dll --- build-devkit.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-devkit.sh b/build-devkit.sh index 310c848..4909df4 100755 --- a/build-devkit.sh +++ b/build-devkit.sh @@ -294,8 +294,8 @@ if [ "$BUILD_DKPRO_SKIP_LIBRARIES" != "1" ] && [ -f $scriptdir/build-libs.sh ]; . $scriptdir/build-libs.sh || { echo "Error building libraries"; exit 1; }; cd $BUILDSCRIPTDIR; fi -if [ ! -z $CROSSBUILD ]; then - cp -v $CROSSBINPATH/*.dll $CROSSLIBPATH/*.dll $prefix/bin +if [ ! -z $CROSSBUILD ] && grep -q "mingw" <<<"$CROSSBUILD" ; then + cp -v $CROSSBINPATH//libwinpthread-1.dll $prefix/bin fi echo "stripping installed binaries"