ayush's new pubkey

[oweals/gnunet.git] / contrib / Makefile.am

diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index 50758e9ad08f588406d6f868848111c0f1782e98..5371730cc5045cdf18faf643dce272e1c723e6e9 100644 (file)
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -1,7 +1,14 @@
+if !MINGW
+noinst_PROGRAMS = \
+ timeout_watchdog
+
+timeout_watchdog_SOURCES = \
+ timeout_watchdog.c 
+endif
+
 dist_pkgdata_DATA = \
  gnunet-logo-color.png \
- defaults.conf \
- config.scm 
+ defaults.conf
 
 EXTRA_DIST = \
  coverage.sh \