aboutsummaryrefslogtreecommitdiff
path: root/ci/run-linux32-build.sh
Commit message (Expand)AuthorAge
* travis-ci: save prove state for the 32 bit Linux buildSZEDER Gábor2017-12-27
* travis-ci: fine tune the use of 'set -x' in 'ci/*' scriptsSZEDER Gábor2017-12-27
* Travis: also test on 32-bit LinuxJohannes Schindelin2017-03-06