diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-17 18:47:29 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-10-17 18:48:46 +0100 |
| commit | 65ba2c937a8534a43b27a0c0bb7e22849d6aae02 (patch) | |
| tree | 48560074b4f4cffc70545139335dfc93efb3f5a7 /.travis | |
| parent | 2a7c7f81a70f1266cf67471861bffc8f2192ce18 (diff) | |
| download | klee-65ba2c937a8534a43b27a0c0bb7e22849d6aae02.tar.gz | |
Install ``libc6-dev-i386`` package when doing TravisCI or the Dockerfile
build so that it possible to build 32-bit applications.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions