mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
Merge commit 'fdd319e9bd
'
This commit is contained in:
commit
086bbcc874
7 changed files with 41 additions and 24 deletions
|
@ -231,7 +231,7 @@ AC_DEFUN([GUILE_PROGS],
|
|||
AC_MSG_ERROR([Guile $_guile_required_version required, but $_guile_prog_version found])
|
||||
fi
|
||||
fi
|
||||
elif test "$GUILE_EFFECTIVE_VERSION" == "$_major_version.$_minor_version" -a -z "$_micro_version"; then
|
||||
elif test "$GUILE_EFFECTIVE_VERSION" = "$_major_version.$_minor_version" -a -z "$_micro_version"; then
|
||||
# Allow prereleases that have the right effective version.
|
||||
true
|
||||
else
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue