From 63c7212fad10e80284f6793bbc8d60836115374a Mon Sep 17 00:00:00 2001
From: Henrik Hautakoski <henrik@eossweden.org>
Date: Fri, 24 Apr 2020 18:42:36 +0200
Subject: [PATCH] install.sh: don't assume we have generated Makefiles with
 cmake. use cmake --install

---
 install.sh | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/install.sh b/install.sh
index 927f1c7..33dde09 100755
--- a/install.sh
+++ b/install.sh
@@ -1,5 +1,3 @@
 #!/bin/bash
 
-pushd build > /dev/null
-make install $@
-popd > /dev/null
+cmake --install build $@