diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-12-05T20·16+0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-12-05T20·16+0100 |
commit | b6f99e5a23729c6e84995fee1cee26f9a687a2a4 (patch) | |
tree | 4323e776a0d6400e5d3482d4a6d9fd3b80cdbc83 /release.nix | |
parent | 8d169b2b75aff82911c42829a5eb495701f9de3e (diff) |
Remove some platforms with too-old compilers
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/release.nix b/release.nix index f0129f607a28..d4024bcc922b 100644 --- a/release.nix +++ b/release.nix @@ -180,8 +180,6 @@ let }; - rpm_fedora16i386 = makeRPM_i686 (diskImageFuns: diskImageFuns.fedora16i386); - rpm_fedora16x86_64 = makeRPM_x86_64 (diskImageFunsFun: diskImageFunsFun.fedora16x86_64); rpm_fedora18i386 = makeRPM_i686 (diskImageFuns: diskImageFuns.fedora18i386); rpm_fedora18x86_64 = makeRPM_x86_64 (diskImageFunsFun: diskImageFunsFun.fedora18x86_64); rpm_fedora19i386 = makeRPM_i686 (diskImageFuns: diskImageFuns.fedora19i386); @@ -193,8 +191,6 @@ let deb_debian7i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.debian7i386); deb_debian7x86_64 = makeDeb_x86_64 (diskImageFunsFun: diskImageFunsFun.debian7x86_64); - deb_ubuntu1204i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1204i386); - deb_ubuntu1204x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1204x86_64); deb_ubuntu1210i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1210i386); deb_ubuntu1210x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1210x86_64); deb_ubuntu1304i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1304i386); |