diff options
Diffstat (limited to 'Build/source/.github/scripts')
| -rwxr-xr-x | Build/source/.github/scripts/build-asy.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Build/source/.github/scripts/build-asy.sh b/Build/source/.github/scripts/build-asy.sh index ab1437f81a4..491f1930d9c 100755 --- a/Build/source/.github/scripts/build-asy.sh +++ b/Build/source/.github/scripts/build-asy.sh @@ -78,9 +78,8 @@ cd utils/asymptote --disable-gsl --disable-fftw --disable-lsp --disable-curl $TL_MAKE -j2 -# not necessary anymore with 2.88 -## relink with static libtirpc if possible -#sed -i -e '/^LFLAGS/s/-ltirpc/-Wl,-Bstatic -ltirpc -Wl,-Bdynamic/' Makefile +# relink with static libtirpc if possible +sed -i -e '/^LFLAGS/s/-ltirpc/-Wl,-Bstatic -ltirpc -Wl,-Bdynamic/' Makefile # as of 2.88 necessary # static linking of stdc++ |