No need to disable UI tools
authorZeeshan Ali (Khattak) <zeeshanak@gnome.org>
Tue, 26 May 2009 14:53:43 +0000 (17:53 +0300)
committerZeeshan Ali (Khattak) <zeeshanak@gnome.org>
Tue, 26 May 2009 14:53:43 +0000 (17:53 +0300)
commitec3bd0fbd0005f0e0a7afbfea102c8e0554dc52e
tree9191ae8152393b3d290398147c772d6c2ab703fb
parent883267c12831fe31e4eeeaa94ba394e505f79897
No need to disable UI tools

If user doesn't enable vala checks, don't assume gtk+ isn't available.
configure.ac