diff options
| author | Tristan Gingold <tgingold@free.fr> | 2015-09-12 08:57:00 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2015-09-12 08:57:00 +0200 |
| commit | 8423924e43087c9b80e8179a49d539decab54886 (patch) | |
| tree | 6dbd2aaa5f33c5fea617d47e7bbf89d0738ba928 /configure | |
| parent | 42f4c411641c04da2b8f08f9029e17bfd37206e4 (diff) | |
| download | ghdl-8423924e43087c9b80e8179a49d539decab54886.tar.gz ghdl-8423924e43087c9b80e8179a49d539decab54886.tar.bz2 ghdl-8423924e43087c9b80e8179a49d539decab54886.zip | |
Tentatively fix win32 support.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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"' |