From 8423924e43087c9b80e8179a49d539decab54886 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 12 Sep 2015 08:57:00 +0200
Subject: Tentatively fix win32 support.

---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index a5be5d6bb..48da0c6af 100755
--- a/configure
+++ b/configure
@@ -75,7 +75,7 @@ fi
 
 # Sanity checks
 # Check that gnatmake exists
-if ! $GNATMAKE 2> /dev/null; then
+if ! $GNATMAKE --version 2> /dev/null; then
     echo "Sorry, you need GNAT to build GHDL.  See the README"
     echo "(gnatmake executable is: $GNATMAKE)"
     exit 1
@@ -149,7 +149,7 @@ for v in $subst_vars; do
     eval vval=\$$v
     echo $v=\"$vval\"
 done
-sed_opts=`echo $subst_vars | sed -e "s/\\([a-zA-Z_]*\\)/-e \"s%@\1@%\$\1%g\"/g"`
+sed_opts=`echo $subst_vars | sed -e "s/\\([a-zA-Z_]*\\)/ -e \"s%@\1@%\$\1%g\"/g"`
 echo 'echo "Creating ghdl.gpr"'
 echo sed $sed_opts '< $srcdir/ghdl.gpr.in > ghdl.gpr'
 echo 'echo "Creating Makefile"'
-- 
cgit v1.2.3