From 90f87382c004f84f9c615f61b51ef7ca9a4e5c60 Mon Sep 17 00:00:00 2001
From: Benjamin Hipple <bhipple@protonmail.com>
Date: Sat, 9 Dec 2017 15:32:19 -0500
Subject: Add CentOS 7.4 to release RPM builds

This provides RPMs for CentOS 7.4 users, and their counterparts on the
enterprise release RHEL 7.4.
---
 release.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/release.nix b/release.nix
index 8aa787b..16e6fe8 100644
--- a/release.nix
+++ b/release.nix
@@ -44,6 +44,8 @@ let
         isReproducible = system != "aarch64-linux"; # ARM machines are still on Nix 1.11
       });
 
+    rpm_centos73x86_64 = makeRPM_x86_64 (diskImages: diskImages.centos73x86_64);
+    rpm_centos74x86_64 = makeRPM_x86_64 (diskImages: diskImages.centos74x86_64);
 
     rpm_fedora24i386 = makeRPM_i686 (diskImages: diskImages.fedora24i386);
     rpm_fedora24x86_64 = makeRPM_x86_64 (diskImages: diskImages.fedora24x86_64);
@@ -72,6 +74,7 @@ let
             #build.x86_64-freebsd
             #build.i686-freebsd
             #build.x86_64-darwin
+            rpm_centos74x86_64
             rpm_fedora25i386
             rpm_fedora25x86_64
             deb_debian8i386
-- 
cgit v0.12