1 files changed, 6 insertions, 0 deletions

diff --git a/src/include/platform.h b/src/include/platform.h
index e74427391..9d58427b9 100644
--- a/src/include/platform.h
+++ b/src/include/platform.h
@@ -266,4 +266,10 @@ atoll (const char *nptr);
 #define SOCKTYPE int
 #endif
 
+#if ENABLE_SUPERMUC
+#define GNUNET_TERM_SIG SIGUSR1
+#else
+#define GNUNET_TERM_SIG SIGTERM
+#endif
+
 #endif