From dbb6b64950153e58d0a3c892f969446ffd718c98 Mon Sep 17 00:00:00 2001
From: Henrik Hautakoski <henrik@eossweden.org>
Date: Thu, 30 Jan 2020 07:36:17 +0100
Subject: [PATCH] build.sh: fix a bug where "cmake" command is echoed instead
 of executed.

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 476eaac..98380e8 100755
--- a/build.sh
+++ b/build.sh
@@ -38,7 +38,7 @@ while true; do
 	shift
 done
 
-echo cmake $ARGS ..
+cmake $ARGS ..
 make -B
 
 popd > /dev/null