diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2017-03-01 08:01:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-01 08:01:00 +0100 |
| commit | 31f8e7a53aa3db126c6a7e69e50794d18f88863e (patch) | |
| tree | b9e8a587027b2359bbd8c3e59b7d12d4b1098a0d /dist/linux/envs | |
| parent | 439664c7e1cc7c9d3587cb72d8f395538aed36bc (diff) | |
| parent | 08264571869e92cb7e6dcee5facfedbf0bedce68 (diff) | |
| download | ghdl-31f8e7a53aa3db126c6a7e69e50794d18f88863e.tar.gz ghdl-31f8e7a53aa3db126c6a7e69e50794d18f88863e.tar.bz2 ghdl-31f8e7a53aa3db126c6a7e69e50794d18f88863e.zip | |
Merge pull request #297 from 1138-4EB/singletravisvm
Improve Travis-CI/Docker scripts
Diffstat (limited to 'dist/linux/envs')
| -rw-r--r-- | dist/linux/envs/fedora_llvm.sh | 2 | ||||
| -rw-r--r-- | dist/linux/envs/fedora_mcode.sh | 2 | ||||
| -rw-r--r-- | dist/linux/envs/ubuntu1204_llvm38.sh | 2 | ||||
| -rw-r--r-- | dist/linux/envs/ubuntu1404_llvm35.sh | 2 | ||||
| -rw-r--r-- | dist/linux/envs/ubuntu_mcode.sh | 2 |
5 files changed, 0 insertions, 10 deletions
diff --git a/dist/linux/envs/fedora_llvm.sh b/dist/linux/envs/fedora_llvm.sh deleted file mode 100644 index c44857c51..000000000 --- a/dist/linux/envs/fedora_llvm.sh +++ /dev/null @@ -1,2 +0,0 @@ -BLD=fed+llvm -DOCKER_IMG="ghdl/ghdl-tools:fedora-llvm-mcode"
\ No newline at end of file diff --git a/dist/linux/envs/fedora_mcode.sh b/dist/linux/envs/fedora_mcode.sh deleted file mode 100644 index 3ddb515bf..000000000 --- a/dist/linux/envs/fedora_mcode.sh +++ /dev/null @@ -1,2 +0,0 @@ -BLD=fed+mcode -DOCKER_IMG="ghdl/ghdl-tools:fedora-llvm-mcode"
\ No newline at end of file diff --git a/dist/linux/envs/ubuntu1204_llvm38.sh b/dist/linux/envs/ubuntu1204_llvm38.sh deleted file mode 100644 index 5f68d2ab0..000000000 --- a/dist/linux/envs/ubuntu1204_llvm38.sh +++ /dev/null @@ -1,2 +0,0 @@ -BLD=ubu1204+llvm-3.8 -DOCKER_IMG="ghdl/ghdl-tools:ubuntu1204-llvm"
\ No newline at end of file diff --git a/dist/linux/envs/ubuntu1404_llvm35.sh b/dist/linux/envs/ubuntu1404_llvm35.sh deleted file mode 100644 index bf4baf236..000000000 --- a/dist/linux/envs/ubuntu1404_llvm35.sh +++ /dev/null @@ -1,2 +0,0 @@ -BLD=ubu1404+llvm-3.5 -DOCKER_IMG="ghdl/ghdl-tools:ubuntu1404-llvm"
\ No newline at end of file diff --git a/dist/linux/envs/ubuntu_mcode.sh b/dist/linux/envs/ubuntu_mcode.sh deleted file mode 100644 index e6f7c3232..000000000 --- a/dist/linux/envs/ubuntu_mcode.sh +++ /dev/null @@ -1,2 +0,0 @@ -BLD=ubu+mcode -DOCKER_IMG="ghdl/ghdl-tools:ubuntu-mcode"
\ No newline at end of file |