projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7d70fd8
)
better exception wording, assertion-handling in multiple-exception case; resolves...
author
Morgan Deters
<mdeters@gmail.com>
Mon, 5 Jul 2010 23:02:05 +0000
(23:02 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Mon, 5 Jul 2010 23:02:05 +0000
(23:02 +0000)
config/pkg.m4
patch
|
blob
|
history
diff --git
a/config/pkg.m4
b/config/pkg.m4
index c29b6c0577c4048b34c67b171f8a0be8daa38f7e..0048a3fa0547ad4d0cb04bd961609b5a44c01697 100644
(file)
--- a/
config/pkg.m4
+++ b/
config/pkg.m4
@@
-146,7
+146,7
@@
path to pkg-config.
_PKG_TEXT
-To get pkg-config, see <http://
www.freedesktop.org/software/pkgconfig
>.])],
+To get pkg-config, see <http://
pkg-config.freedesktop.org/
>.])],
[$4])
else
$1[]_CFLAGS=$pkg_cv_[]$1[]_CFLAGS