config: change default of `pager.config` to "on"
[git/debian.git] / ci / run-linux32-docker.sh
blob4f191c5bb12185251f98a2d54422640cb19b8be1
1 #!/bin/sh
3 # Download and run Docker image to build and test 32-bit Git
6 . ${0%/*}/lib-travisci.sh
8 docker pull daald/ubuntu32:xenial
10 # Use the following command to debug the docker build locally:
11 # $ docker run -itv "${PWD}:/usr/src/git" --entrypoint /bin/bash daald/ubuntu32:xenial
12 # root@container:/# /usr/src/git/ci/run-linux32-build.sh
14 docker run \
15 --interactive \
16 --env DEVELOPER \
17 --env DEFAULT_TEST_TARGET \
18 --env GIT_PROVE_OPTS \
19 --env GIT_TEST_OPTS \
20 --env GIT_TEST_CLONE_2GB \
21 --volume "${PWD}:/usr/src/git" \
22 --volume "${HOME}/travis-cache:/tmp/travis-cache" \
23 daald/ubuntu32:xenial \
24 /usr/src/git/ci/run-linux32-build.sh $(id -u $USER)
26 check_unignored_build_artifacts
28 save_good_tree