diff options
author | 2019-07-24 15:46:10 +0000 | |
---|---|---|
committer | 2019-07-24 15:46:10 +0000 | |
commit | 5f8a96bc448841f7c3a2cb6963d613502bc0ec64 (patch) | |
tree | e797ce89dbfcde03f90e9ee99c7ddfbae1f73463 /gnux32.txt | |
parent | 2019-07-24T15:00:01Z (diff) | |
download | repos-5f8a96bc448841f7c3a2cb6963d613502bc0ec64.tar.gz repos-5f8a96bc448841f7c3a2cb6963d613502bc0ec64.tar.bz2 repos-5f8a96bc448841f7c3a2cb6963d613502bc0ec64.zip |
2019-07-24T15:40:01Z
Diffstat (limited to 'gnux32.txt')
-rw-r--r-- | gnux32.txt | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/gnux32.txt b/gnux32.txt index 05e7f693ab6b..9538bea4c112 100644 --- a/gnux32.txt +++ b/gnux32.txt @@ -14,18 +14,7 @@ WARNING:pkgcore:EAPI '7' isn't fully supported WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id WARNING:pkgcore:'beatussum-overlay' repo at '/var/lib/repo-mirror-ci/sync/beatussum-overlay' has unsupported profile format: profile-default-eapi -From https://github.com/1camper/gnux32 - bb957f8..3cefecd master -> origin/master -Updating bb957f8..3cefecd -Fast-forward - dev-lang/spidermonkey/Manifest | 2 + - .../files/spidermonkey-1.8.5-LTO.patch | 58 ++++++++ - dev-lang/spidermonkey/spidermonkey-1.8.5-r8.ebuild | 162 +++++++++++++++++++++ - dev-libs/boost/Manifest | 2 +- - dev-libs/boost/metadata.xml | 16 +- - 5 files changed, 231 insertions(+), 9 deletions(-) - create mode 100644 dev-lang/spidermonkey/files/spidermonkey-1.8.5-LTO.patch - create mode 100644 dev-lang/spidermonkey/spidermonkey-1.8.5-r8.ebuild +Already up to date. *** syncing gnux32 *** synced gnux32 * Sync succeeded |