diff options
| author | raveit65 <[email protected]> | 2016-07-15 22:31:10 +0200 |
|---|---|---|
| committer | monsta <[email protected]> | 2016-08-12 21:53:06 +0300 |
| commit | d1ee9352f4b1d9867d63d3262a883b5277a043be (patch) | |
| tree | 831d973052d10cc583e2c0f380e8b23c62cdbe9e | |
| parent | b0e3270559f34f5e9aa847c97fc054a1ec0b75c6 (diff) | |
| download | pluma-d1ee9352f4b1d9867d63d3262a883b5277a043be.tar.bz2 pluma-d1ee9352f4b1d9867d63d3262a883b5277a043be.tar.xz | |
distcheck: explicitly use currently selected GTK+ version
| -rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 802d857c..6d7e007f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -55,7 +55,10 @@ MAINTAINERCLEANFILES = \ m4/lt~obsolete.m4 \ `find "$(srcdir)" -type f -name Makefile.in -print` -DISTCHECK_CONFIGURE_FLAGS = --enable-gtk-doc --disable-tests +DISTCHECK_CONFIGURE_FLAGS = \ + --enable-gtk-doc \ + --disable-tests \ + --with-gtk=$(GTK_API_VERSION) # Build ChangeLog from GIT history ChangeLog: |