From 9ccdfa836d74317b20f632b4e561c18befa1ce74 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Mon, 9 Nov 2020 13:38:09 -0700
Subject: [PATCH] Explicitly BR make.

---
 cryptominisat.spec | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cryptominisat.spec b/cryptominisat.spec
index 3b44b3d..9b63e23 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -14,6 +14,7 @@ BuildRequires:  cmake
 BuildRequires:  gcc-c++
 BuildRequires:  gperftools-devel
 BuildRequires:  help2man
+BuildRequires:  make
 BuildRequires:  pkgconfig(m4ri)
 BuildRequires:  pkgconfig(tbb)
 BuildRequires:  pkgconfig(zlib)