From 2ab6f03de16d8951ec5f8739cfc7cc807f8125fb Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 4 Jan 2020 11:29:45 +0100
Subject: [PATCH] Fixed some comments that appear to have been missed when
 compile_min.sh was used to create compile_linux.sh

---
 compile_linux.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/compile_linux.sh b/compile_linux.sh
index 04e8533ae..b9ded540e 100644
--- a/compile_linux.sh
+++ b/compile_linux.sh
@@ -69,8 +69,7 @@ echo "compiling (see make.log)"
 make 2>&1 -j8 | tee make.log
 exitcode=${PIPESTATUS[0]}
 if [ $exitcode -ne 0 ]; then  echo "make failed"; exit 1 ; fi
-# 32 bit: Install to C:\Spice
-# 64 bit: Install to C:\Spice64
+# Install to /usr/local
 echo "installing (see make_install.log)"
 make install 2>&1 | tee make_install.log 
 exitcode=${PIPESTATUS[0]}