From c38cd41194e179d46e8fcfbf17bc1ef7629c1c15 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Wed, 11 Jan 2017 10:57:42 +0100
Subject: [PATCH] fix the install script, issue #623

---
 s/install | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/s/install b/s/install
index 18cc2393f..416d07f9a 100755
--- a/s/install
+++ b/s/install
@@ -10,12 +10,11 @@ done
 
 DEST=$(dirname $ROOT)/server
 
-MACHINE=`uname -m`
 [ -z "$CC" ] && [ ! -z `which clang` ] && CC="clang"
 [ -z "$CC" ] && [ ! -z `which gcc` ] && CC="gcc"
 [ -z "$CC" ] && [ ! -z `which tcc` ] && CC="tcc"
 [ -z "$CC" ] && [ ! -z `which cc` ] && CC="cc"
-BIN_DIR="build-$MACHINE-$CC-Debug"
+BIN_DIR="Debug"
 
 cd $ROOT/$BIN_DIR
 make install