wok-next diff js185/stuff/patches/destdir.patch @ rev 21613

updated eboard (1.1.1 -> 1.1.3)
author Hans-G?nter Theisgen
date Thu Jun 25 10:33:28 2020 +0100 (2020-06-25)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/js185/stuff/patches/destdir.patch	Thu Jun 25 10:33:28 2020 +0100
     1.3 @@ -0,0 +1,16 @@
     1.4 +# See discussion in https://bugzilla.mozilla.org/show_bug.cgi?id=628723
     1.5 +# Patch created by Colin Walters <walters@verbum.org>
     1.6 +
     1.7 +--- a/js/src/Makefile.in
     1.8 ++++ b/js/src/Makefile.in
     1.9 +@@ -900,8 +900,8 @@ endif
    1.10 + ifeq (,$(HOST_BIN_SUFFIX))
    1.11 + 	mv -f $(SHLIB_ANY_VER) $(SHLIB_EXACT_VER)
    1.12 + 	@[ ! -h $(SHLIB_ABI_VER) ] || rm -f $(SHLIB_ABI_VER)
    1.13 +-	ln -s $(SHLIB_EXACT_VER) $(SHLIB_ABI_VER)
    1.14 +-	ln -s $(SHLIB_ABI_VER) $(SHLIB_ANY_VER)
    1.15 ++	ln -s $(notdir $(SHLIB_EXACT_VER)) $(SHLIB_ABI_VER)
    1.16 ++	ln -s $(notdir $(SHLIB_ABI_VER)) $(SHLIB_ANY_VER)
    1.17 + endif
    1.18 + endif
    1.19 + ifneq (,$(IMPORT_LIBRARY))