summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorIsmael Luceno2019-06-02 21:36:53 +0200
committerIsmael Luceno2019-06-02 21:41:38 +0200
commitaf80e756f2ae3aa848ed757568a90ac018fe4992 (patch)
tree229c96f885f3939db34660ab15df1cad6c2c3a9b /doc
parent77c35a775de2b2bebeadee9bfb3005b96757bb8b (diff)
source-highlight: Fix build against musl
Diffstat (limited to 'doc')
-rw-r--r--doc/source-highlight/HISTORY3
-rwxr-xr-xdoc/source-highlight/PRE_BUILD3
2 files changed, 6 insertions, 0 deletions
diff --git a/doc/source-highlight/HISTORY b/doc/source-highlight/HISTORY
index 8c2852eca2..b783604bef 100644
--- a/doc/source-highlight/HISTORY
+++ b/doc/source-highlight/HISTORY
@@ -1,3 +1,6 @@
+2019-06-02 Ismael Luceno <ismael@sourcemage.org>
+ * PRE_BUILD: Fixed build against musl
+
2019-05-22 Vlad Glagolev <stealth@sourcemage.org>
* DEPENDS: added missing dependency on boost regex library
diff --git a/doc/source-highlight/PRE_BUILD b/doc/source-highlight/PRE_BUILD
new file mode 100755
index 0000000000..c179f78d10
--- /dev/null
+++ b/doc/source-highlight/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd "$SOURCE_DIRECTORY" &&
+sedit 's!maybe_os in$!& linux-musl*|\\!' build-aux/config.sub