diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-24 07:40:49 (GMT) |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-24 07:40:49 (GMT) |
| commit | 871da3f4e103fc7f4304228606606d4da889a888 (patch) | |
| tree | 06638a24e5939d5c95355df4f850a45ffe803890 /release.nix | |
| parent | 6f83758dd9b093f5046ccf25a5c34537970eedd0 (diff) | |
| download | patchelf-871da3f4e103fc7f4304228606606d4da889a888.zip patchelf-871da3f4e103fc7f4304228606606d4da889a888.tar.gz patchelf-871da3f4e103fc7f4304228606606d4da889a888.tar.bz2 | |
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/release.nix b/release.nix index 05f04b9..84be8d8 100644 --- a/release.nix +++ b/release.nix @@ -49,27 +49,29 @@ let rpm_fedora5i386 = makeRPM_i686 (diskImages: diskImages.fedora5i386) 20; - rpm_fedora9i386 = makeRPM_i686 (diskImages: diskImages.fedora9i386) 50; - rpm_fedora9x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora9x86_64) 50; + rpm_fedora9i386 = makeRPM_i686 (diskImages: diskImages.fedora9i386) 30; + rpm_fedora9x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora9x86_64) 30; rpm_fedora10i386 = makeRPM_i686 (diskImages: diskImages.fedora10i386) 40; rpm_fedora10x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora10x86_64) 40; - rpm_fedora11i386 = makeRPM_i686 (diskImages: diskImages.fedora11i386) 40; - rpm_fedora11x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora11x86_64) 40; + rpm_fedora11i386 = makeRPM_i686 (diskImages: diskImages.fedora11i386) 50; + rpm_fedora11x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora11x86_64) 50; rpm_opensuse103i386 = makeRPM_i686 (diskImages: diskImages.opensuse103i386) 40; - rpm_opensuse110i386 = makeRPM_i686 (diskImages: diskImages.opensuse110i386) 40; - rpm_opensuse110x86_64 = makeRPM_x86_64 (diskImages: diskImages.opensuse110x86_64) 40; + rpm_opensuse110i386 = makeRPM_i686 (diskImages: diskImages.opensuse110i386) 30; + rpm_opensuse110x86_64 = makeRPM_x86_64 (diskImages: diskImages.opensuse110x86_64) 30; + rpm_opensuse111i386 = makeRPM_i686 (diskImages: diskImages.opensuse111i386) 40; + rpm_opensuse111x86_64 = makeRPM_x86_64 (diskImages: diskImages.opensuse111x86_64) 40; deb_debian40i386 = makeDeb_i686 (diskImages: diskImages.debian40i386) 40; deb_debian40x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian40x86_64) 40; deb_debian50i386 = makeDeb_i686 (diskImages: diskImages.debian50i386) 30; deb_debian50x86_64 = makeDeb_x86_64 (diskImages: diskImages.debian50x86_64) 30; - deb_ubuntu804i386 = makeDeb_i686 (diskImages: diskImages.ubuntu804i386) 50; - deb_ubuntu804x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu804x86_64) 50; + deb_ubuntu804i386 = makeDeb_i686 (diskImages: diskImages.ubuntu804i386) 30; + deb_ubuntu804x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu804x86_64) 30; deb_ubuntu810i386 = makeDeb_i686 (diskImages: diskImages.ubuntu810i386) 40; deb_ubuntu810x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu810x86_64) 40; - deb_ubuntu904i386 = makeDeb_i686 (diskImages: diskImages.ubuntu904i386) 30; - deb_ubuntu904x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu904x86_64) 30; + deb_ubuntu904i386 = makeDeb_i686 (diskImages: diskImages.ubuntu904i386) 50; + deb_ubuntu904x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu904x86_64) 50; }; @@ -89,7 +91,7 @@ let name = "patchelf-rpm"; src = tarball; diskImage = diskImageFun vmTools.diskImages; - meta = { schedulingPriority = toString prio; }; + meta = { schedulingPriority = prio; }; }; @@ -107,7 +109,7 @@ let name = "patchelf-deb"; src = tarball; diskImage = diskImageFun vmTools.diskImages; - meta = { schedulingPriority = toString prio; }; + meta = { schedulingPriority = prio; }; }; |