diff options
author | Josh Haberman <jhaberman@gmail.com> | 2014-09-01 15:50:33 -0700 |
---|---|---|
committer | Josh Haberman <jhaberman@gmail.com> | 2014-09-01 15:50:33 -0700 |
commit | 697297433bfb559568be741b929dfb3ae9721129 (patch) | |
tree | 9f53bac89e9b2d8f1603ae2679e12020822bf09d | |
parent | 4b7fad462433c7bcb66b6bc16a3381d54013f823 (diff) |
Maybe I finally got the right C++ library for 32-bit?
-rwxr-xr-x | travis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -33,7 +33,7 @@ withprotobuf_script() { # Can't enable the JIT because it only supports x64. core32_install() { sudo apt-get update -qq - sudo apt-get install libc6-dev-i386 lib32stdc++6 + sudo apt-get install libc6-dev-i386 lib32stdc++6 libstdc++6:i386 } core32_script() { make -j12 tests USER_CPPFLAGS=-m32 |