X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=z3.m4;h=7c067958bc6b90235549a93346d46d843d7a5440;hb=1fa0b45a8141955801938f967f1d1dca1b042c17;hp=325fde2dfb0d7d6fdcf554a916e0b5fa4004e718;hpb=336669cf7fa8b89a15203127cc1383922c6dfbbe;p=m4-moved-to-github.git

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