diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-10-23 17:50:46 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-10-23 18:50:46 +0200 |
| commit | 5a57a31b3b85ca3e1d51fbcbb92282aad8d1a7ad (patch) | |
| tree | 8440bc9183512d207b94966cbab68a7a5449e4d9 /configure | |
| parent | 9c0f109f935d7db6893df89c86bdbf56472c60b1 (diff) | |
| download | ghdl-5a57a31b3b85ca3e1d51fbcbb92282aad8d1a7ad.tar.gz ghdl-5a57a31b3b85ca3e1d51fbcbb92282aad8d1a7ad.tar.bz2 ghdl-5a57a31b3b85ca3e1d51fbcbb92282aad8d1a7ad.zip | |
configure: fix typo (#994)
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -191,7 +191,7 @@ fi # Check the version of libghdl is correct. if [ "$enable_libghdl" = true ]; then libghdl_version="$srcdir/python/libghdl/version.py" - # Extract content between sinlge quotes in version.py, to avoid false positives due to LF/CRLF mismatch. + # Extract content between single quotes in version.py, to avoid false positives due to LF/CRLF mismatch. if [ "$ghdl_version" != "`sed "s/.*'\(.*\)'.*/\1/g" $libghdl_version`" ]; then echo "Sorry, the version of $libghdl_version is not correct" echo "update the version to: $ghdl_version" |