8 Oct
2010
8 Oct
'10
10:06 a.m.
Notably, /bin/sh in Debian and Ubuntu is dash, which doesn't. --- configure.in | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/configure.in b/configure.in index e904956..c353759 100644 --- a/configure.in +++ b/configure.in @@ -119,7 +119,7 @@ if test "$versioned" = "yes"; then major=`echo $xres | cut -d . -f 1` minor=`echo $xres | cut -d . -f 2` pass=0 - if test $major -eq 1 -a $minor -gt 3; then + if test $major -eq 1 && test $minor -gt 3; then pass=1 else if test $major -gt 1; then
--
1.7.1