[gtk+] gtk: Add private headers to EXTRA_DIST
- From: Rico Tzschichholz <ricotz src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk+] gtk: Add private headers to EXTRA_DIST
- Date: Tue, 8 May 2012 07:23:40 +0000 (UTC)
commit 73f3263e6cece60e0a7c49bed4a8d82793a333eb
Author: Rico Tzschichholz <ricotz t-online de>
Date: Tue May 8 09:16:51 2012 +0200
gtk: Add private headers to EXTRA_DIST
This got lost with 985881ffcc315e20012a42dfba6cf5ab0046a92c
gtk/Makefile.am | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/gtk/Makefile.am b/gtk/Makefile.am
index 34fc5f0..dfa90ac 100644
--- a/gtk/Makefile.am
+++ b/gtk/Makefile.am
@@ -940,8 +940,9 @@ gtk_private_h_sources += $(gtk_use_quartz_private_h_sources)
endif
gtk_all_private_h_sources = \
+ $(gtk_private_h_sources) \
$(gtk_use_x11_private_h_sources) \
- $(gtk_use_win32_private_h_sources) \
+ $(gtk_use_win32_private_h_sources) \
$(gtk_use_quartz_private_h_sources)
if !USE_X11
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]