|
@@ -350,9 +350,10 @@ jobs:
|
|
# Run check-tcg against linux-user (with plugins)
|
|
# Run check-tcg against linux-user (with plugins)
|
|
# we skip sparc64-linux-user until it has been fixed somewhat
|
|
# we skip sparc64-linux-user until it has been fixed somewhat
|
|
# we skip cris-linux-user as it doesn't use the common run loop
|
|
# we skip cris-linux-user as it doesn't use the common run loop
|
|
|
|
+ # we skip ppc64abi32-linux-user as it seems to have a broken libc
|
|
- name: "GCC plugins check-tcg (user)"
|
|
- name: "GCC plugins check-tcg (user)"
|
|
env:
|
|
env:
|
|
- - CONFIG="--disable-system --enable-plugins --enable-debug-tcg --target-list-exclude=sparc64-linux-user,cris-linux-user"
|
|
|
|
|
|
+ - CONFIG="--disable-system --enable-plugins --enable-debug-tcg --target-list-exclude=sparc64-linux-user,cris-linux-user,ppc64abi32-linux-user"
|
|
- TEST_BUILD_CMD="make build-tcg"
|
|
- TEST_BUILD_CMD="make build-tcg"
|
|
- TEST_CMD="make check-tcg"
|
|
- TEST_CMD="make check-tcg"
|
|
- CACHE_NAME="${TRAVIS_BRANCH}-linux-gcc-debug-tcg"
|
|
- CACHE_NAME="${TRAVIS_BRANCH}-linux-gcc-debug-tcg"
|