diff options
| author | djcb <djcb@djcbsoftware.nl> | 2012-06-13 10:22:54 +0300 |
|---|---|---|
| committer | djcb <djcb@djcbsoftware.nl> | 2012-06-13 10:22:54 +0300 |
| commit | 245de14b1d1dc83a3387067cc1639ddc4ca13343 (patch) | |
| tree | fac82809f240e0c0874a324748ea9bae7b103343 /Makefile.am | |
| parent | 4dadca3a8da57719f66df28793ef0c9301c306da (diff) | |
* make guile/gtk/webkit dep optional (i.e., --disable-guile, --disable-webkit,
--with-gui=none); bump version to 0.9.8.5-dev4
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 3567734..e74684a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -23,7 +23,7 @@ else widgets= endif -if HAVE_GUILE +if BUILD_GUILE guile=guile else guile= |
