diff options
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/release.nix b/release.nix index 57c118c9222c..1936a4f5b544 100644 --- a/release.nix +++ b/release.nix @@ -143,6 +143,8 @@ let deb_ubuntu1010x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1010x86_64) 50; deb_ubuntu1110i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1110i386) 60; deb_ubuntu1110x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1110x86_64) 60; + deb_ubuntu1204i386 = makeDeb_i686 (diskImageFuns: diskImageFuns.ubuntu1204i386) 60; + deb_ubuntu1204x86_64 = makeDeb_x86_64 (diskImageFuns: diskImageFuns.ubuntu1204x86_64) 60; # System tests. |