diff options
-rwxr-xr-x | Build/source/.github/scripts/build-asy.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/.github/scripts/build-asy.sh b/Build/source/.github/scripts/build-asy.sh index ac5e1fc8326..9f749134dd0 100755 --- a/Build/source/.github/scripts/build-asy.sh +++ b/Build/source/.github/scripts/build-asy.sh @@ -80,6 +80,8 @@ $TL_MAKE -j2 # relink with static libtirpc if possible sed -i -e '/^LFLAGS/s/-ltirpc/-Wl,-Bstatic -ltirpc -Wl,-Bdynamic/' Makefile +# static linking of stdc++ +sed -i -e '/^LDFLAG/s/= /= -static-libgcc -static-libstdc++ /' Makefile $TL_MAKE strip asy |