diff options
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 |