diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-09-01 09:04:31 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-09-01 09:04:31 +0200 |
| commit | 8eaaf1150a60af377a25c41e4cd7b37eb7a85ba9 (patch) | |
| tree | 0574828651a7cbf98dca142968c30a617036b806 /configure | |
| parent | be3a72d29dee3faeb928e9ef26528c25231a9bc6 (diff) | |
| download | ghdl-8eaaf1150a60af377a25c41e4cd7b37eb7a85ba9.tar.gz ghdl-8eaaf1150a60af377a25c41e4cd7b37eb7a85ba9.tar.bz2 ghdl-8eaaf1150a60af377a25c41e4cd7b37eb7a85ba9.zip | |
fix(configure): ignore line ending when comparing ghdl_version and libghdl_version (#910)
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -186,7 +186,7 @@ fi # Check the version of libghdl is correct. if [ "$enable_libghdl" = true ]; then libghdl_version="$srcdir/python/libghdl/version.py" - if ! echo "__version__ = '${ghdl_version}'" | cmp "$libghdl_version" ; then + if ! echo "__version__ = '${ghdl_version}'" | cmp -n "${#ghdl_version}" "$libghdl_version" ; then echo "Sorry, the version of $libghdl_version is not correct" echo "update the version to: $ghdl_version" echo "or use --disable-libghdl" |