projects
/
m4-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
336669c
)
Fixed source location
author
Dennis Schafroth
<dennis@indexdata.com>
Tue, 2 Feb 2010 12:06:08 +0000
(13:06 +0100)
committer
Dennis Schafroth
<dennis@indexdata.com>
Tue, 2 Feb 2010 12:06:08 +0000
(13:06 +0100)
z3.m4
patch
|
blob
|
history
diff --git
a/z3.m4
b/z3.m4
index
325fde2
..
7c06795
100644
(file)
--- 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