| commit | 3e7a002851a3c8bed0aa6ed5224d9f81733564b7 | [log] [tgz] |
|---|---|---|
| author | Marco Poletti <poletti.marco@gmail.com> | Sun May 08 14:38:12 2016 +0100 |
| committer | Marco Poletti <poletti.marco@gmail.com> | Sun May 08 14:38:12 2016 +0100 |
| tree | 76b0c260aed937193042d803f445ae6e88090a86 | |
| parent | ce21e8ab4f829c020593d14ee48573f0e10be3f0 [diff] [blame] |
Reorganize the Dockerfiles, to share code. Also add gcc 6 to the 16.04 image and Bazel to the 15.10 image.
diff --git a/extras/dockerfiles/ubuntu-14.04_install.sh b/extras/dockerfiles/ubuntu-14.04_install.sh new file mode 100644 index 0000000..d9628ae --- /dev/null +++ b/extras/dockerfiles/ubuntu-14.04_install.sh
@@ -0,0 +1,3 @@ +#!/bin/bash + +set -e