diff options
author | raveit65 <[email protected]> | 2016-07-15 18:05:00 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2016-07-15 18:05:00 +0200 |
commit | b8f5fe87dfe7c61b86573e98059e822b105b6f75 (patch) | |
tree | d4ce43cf44f7218fbba4497ec79c650fc2ca59d6 | |
parent | eb1f2a9a9f74c58a10ce9122186b3d4738b5be18 (diff) | |
download | caja-extensions-b8f5fe87dfe7c61b86573e98059e822b105b6f75.tar.bz2 caja-extensions-b8f5fe87dfe7c61b86573e98059e822b105b6f75.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 2b9b1c0..4ce45fa 100644 --- a/Makefile.am +++ b/Makefile.am @@ -41,6 +41,9 @@ DISTCLEANFILES = \ intltool-merge \ 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 \ |