diff options
| author | raveit65 <[email protected]> | 2016-07-15 22:31:10 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-07-15 22:31:10 +0200 |
| commit | 3be61ecc95b9c4fb5296eb443b4f758e4a22a653 (patch) | |
| tree | 635361491e84f26adcced629f5b00ff7d7b2a3a9 | |
| parent | ce664a8c8d4c10974f814295cb38268191ac0d40 (diff) | |
| download | pluma-3be61ecc95b9c4fb5296eb443b4f758e4a22a653.tar.bz2 pluma-3be61ecc95b9c4fb5296eb443b4f758e4a22a653.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 28e0a1f8..329e7712 100644 --- a/Makefile.am +++ b/Makefile.am @@ -53,7 +53,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: |