diff options
| author | eine <eine@users.noreply.github.com> | 2020-08-15 18:07:05 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-08-23 21:21:15 +0200 |
| commit | 4abeb0683159cdc4482a7f491340bfedf3fe2339 (patch) | |
| tree | 9670c82ea88c9d6338ee2be58ea291154ffcaf8b /configure | |
| parent | 8789de969e6673b195cbb28a692cc3fbbaa806e1 (diff) | |
| download | ghdl-4abeb0683159cdc4482a7f491340bfedf3fe2339.tar.gz ghdl-4abeb0683159cdc4482a7f491340bfedf3fe2339.tar.bz2 ghdl-4abeb0683159cdc4482a7f491340bfedf3fe2339.zip | |
python: execute 'black'
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -192,7 +192,7 @@ fi if [ "$enable_libghdl" = true ]; then libghdl_version="$srcdir/python/libghdl/version.py" # 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 + 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" echo "or use --disable-libghdl" |