diff options
author | Ismael Luceno | 2019-06-09 13:43:15 +0200 |
---|---|---|
committer | Ismael Luceno | 2019-06-09 13:43:15 +0200 |
commit | ed5f18780536ac700b68da1c212968a463359fe3 (patch) | |
tree | c8640b7eac58fd184ddad013c48a288432822882 /java | |
parent | 35cc7776f6d2ee92ea83864aca9439f737edb241 (diff) |
jikes: Fix build against musl
Diffstat (limited to 'java')
-rw-r--r-- | java/jikes/HISTORY | 3 | ||||
-rwxr-xr-x | java/jikes/PRE_BUILD | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/java/jikes/HISTORY b/java/jikes/HISTORY index 25b77d9c39..c42fbaa17d 100644 --- a/java/jikes/HISTORY +++ b/java/jikes/HISTORY @@ -1,3 +1,6 @@ +2019-06-09 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/java/jikes/PRE_BUILD b/java/jikes/PRE_BUILD new file mode 100755 index 0000000000..3c8cac271f --- /dev/null +++ b/java/jikes/PRE_BUILD @@ -0,0 +1,3 @@ +default_pre_build && +cd "$SOURCE_DIRECTORY" && +sedit 's!maybe_os in$!& linux-musl*|\\!' config.sub |