diff options
author | Ismael Luceno | 2019-05-24 22:01:27 +0200 |
---|---|---|
committer | Ismael Luceno | 2019-05-24 22:02:37 +0200 |
commit | e86dd24248423e91680e696d8eaea3fb1a142475 (patch) | |
tree | 03dc19c178eb4e15add52197b1743ecfd7e0e05d /doc | |
parent | 8a151a97745d25e73ba072b10f1534cdef24a284 (diff) |
openjade: Fix build against musl
Diffstat (limited to 'doc')
-rw-r--r-- | doc/openjade/HISTORY | 3 | ||||
-rwxr-xr-x | doc/openjade/PRE_BUILD | 4 |
2 files changed, 5 insertions, 2 deletions
diff --git a/doc/openjade/HISTORY b/doc/openjade/HISTORY index 22094d780c..0a57aa6fac 100644 --- a/doc/openjade/HISTORY +++ b/doc/openjade/HISTORY @@ -1,3 +1,6 @@ +2019-05-24 Ismael Luceno <ismael@sourcemage.org> + * PRE_BUILD: Fixed build against musl + 2015-05-25 Thomas Orgis <sobukus@sourcemage.org> * DETAILS: remove SOURCEFORGE_URL usage (automated) diff --git a/doc/openjade/PRE_BUILD b/doc/openjade/PRE_BUILD index 645e391f70..bfb6567faa 100755 --- a/doc/openjade/PRE_BUILD +++ b/doc/openjade/PRE_BUILD @@ -5,5 +5,5 @@ patch $SOURCE_DIRECTORY/style/MultiLineInlineNote.cxx \ cd $SOURCE_DIRECTORY && patch -p1 < $SCRIPT_DIRECTORY/openjade-1.3.2-gcc-4.6-1.patch && -patch -p1 < $SCRIPT_DIRECTORY/openjade-1.3.2-msggen.pl.patch - +patch -p1 < $SCRIPT_DIRECTORY/openjade-1.3.2-msggen.pl.patch && +sedit 's!maybe_os in$!& linux-musl*|\\!' config/config.sub |