From 4f2740386f5094a7930dd682c5f2a012481a07ed Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 9 Sep 2014 14:38:27 -0400
Subject: Minor code style cleanup in make-sdk-win32

---
 dev/make-sdk-win32.sh | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'dev')

diff --git a/dev/make-sdk-win32.sh b/dev/make-sdk-win32.sh
index 9f904cbaaf..0b8d1515bb 100755
--- a/dev/make-sdk-win32.sh
+++ b/dev/make-sdk-win32.sh
@@ -62,9 +62,9 @@ fi
 WGET_ARGS="-N -q"
 
 if [ "$(has_spaces $BASE; echo $?)" -ne 0 ]; then
-    echo "ERROR: The current base directory ($BASE) has spaces."
-    echo "ERROR: building lablgtk would fail."
-    exit 1
+  echo "ERROR: The current base directory ($BASE) has spaces."
+  echo "ERROR: building lablgtk would fail."
+  exit 1
 fi
 
 cyg_install() {
@@ -118,8 +118,6 @@ make_environ() {
 	        > "\$BASE/lib/topfind"
 	sed s"|@BASE@|\$(cygpath -m "\$BASE")|g" "\$BASE/etc/findlib.conf.in" \\
 	        > "\$BASE/etc/findlib.conf"
-	EOF
-  cat >> "$BASE/environ" <<- EOF
 	echo "Good.  You can now build Coq and Coqide from cygwin."
 	EOF
   popd >/dev/null
-- 
cgit v1.2.3