From: Dennis Schafroth Date: Tue, 2 Feb 2010 12:06:08 +0000 (+0100) Subject: Fixed source location X-Git-Url: http://sru.miketaylor.org.uk/cgi-bin?a=commitdiff_plain;h=9b1c79ff53bc73beb00e8c0a0c17048f70852462;p=m4-moved-to-github.git Fixed source location --- diff --git a/z3.m4 b/z3.m4 index 325fde2..7c06795 100644 --- a/z3.m4 +++ b/z3.m4 @@ -15,7 +15,7 @@ AC_DEFUN([Z3_INIT], else z3srcdir=$srcdir fi - for i in ${z3srcdir}/../../z3 ${z3srcdir}/../z3-* ${z3srcdir}/../z3; do + for i in ${z3srcdir}/../../z3c ${z3srcdir}/../z3c-* ${z3srcdir}/../z3c; do if test -d $i; then if test -r $i/idzebra-config-3.0; then z3config=$i/idzebra-config-3.0