From 9980c8928d24bf2728c3697b920a6d79a8d3221e Mon Sep 17 00:00:00 2001
From: Boris Nagaev <bnagaev@gmail.com>
Date: Sat, 15 Oct 2016 19:09:36 +0300
Subject: [PATCH] run `cmake --build` instead of `make`

The former is cross-platform equivalent.
Should fix failure in Windows:
https://ci.appveyor.com/project/mpeterv/hererocks/build/1.0.179/job/q34tijuxavqlellj
---
 hererocks.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hererocks.py b/hererocks.py
index 03b3003..bd27ea7 100755
--- a/hererocks.py
+++ b/hererocks.py
@@ -1442,7 +1442,7 @@ def make(self):
         os.mkdir("build")
         os.chdir("build")
         run("cmake", "-DCMAKE_BUILD_TYPE=Release", "..")
-        run("make")
+        run("cmake", "--build", ".")
         os.chdir("..")
 
     def make_install(self):