diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-02-14T14·56+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-02-14T14·56+0000 |
commit | c3cee5395bec0dd9db3fb60662a170ebb7453ee1 (patch) | |
tree | 74f7fe5740f1a34dc01f67228e47a7b71ff0c629 /release.nix | |
parent | 8fcaf3e9c6d820175d124be0af06c481104222a1 (diff) |
* Build for Ubuntu 10.04.
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 1fc9405bdb28..3d67a4245278 100644 --- a/release.nix +++ b/release.nix @@ -133,6 +133,8 @@ let deb_ubuntu904x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu904x86_64) 40; deb_ubuntu910i386 = makeDeb_i686 (diskImages: diskImages.ubuntu910i386) 50; deb_ubuntu910x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu910x86_64) 50; + deb_ubuntu1004i386 = makeDeb_i686 (diskImages: diskImages.ubuntu1004i386) 50; + deb_ubuntu1004x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu1004x86_64) 50; }; |