diff options
| author | Jason Gross | 2014-09-09 14:38:27 -0400 |
|---|---|---|
| committer | Jason Gross | 2014-09-09 14:38:27 -0400 |
| commit | 4f2740386f5094a7930dd682c5f2a012481a07ed (patch) | |
| tree | e0945c11713cac772e365155f5d3946a64ce8826 /dev | |
| parent | 53aaa78e51c163f54a5f55bcf54b2ec7627aa791 (diff) | |
Minor code style cleanup in make-sdk-win32
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/make-sdk-win32.sh | 8 |
1 files changed, 3 insertions, 5 deletions
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 |