diff options
author | raveit65 <[email protected]> | 2016-07-15 19:43:46 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2016-07-15 19:43:46 +0200 |
commit | c0b5d27ee1cb409ee8e8723009999f840f96a105 (patch) | |
tree | 2e28fc0b8980da4aa85584497f1abf734e800fe5 | |
parent | ad3a761a026493f49561158559f04c26225f03f4 (diff) | |
download | marco-c0b5d27ee1cb409ee8e8723009999f840f96a105.tar.bz2 marco-c0b5d27ee1cb409ee8e8723009999f840f96a105.tar.xz |
distcheck: explicitly use currently selected GTK+ version
-rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index a7a31d79..83507adc 100644 --- a/Makefile.am +++ b/Makefile.am @@ -8,6 +8,9 @@ EXTRA_DIST = autogen.sh HACKING rationales.txt \ DISTCLEANFILES = intltool-extract intltool-merge intltool-update po/stamp-it po/.intltool-merge-cache +DISTCHECK_CONFIGURE_FLAGS = \ + --with-gtk=$(GTK_API_VERSION) + # Build ChangeLog from GIT history ChangeLog: $(AM_V_GEN) if test -d $(top_srcdir)/.git; then \ |