From 4b4ba30498570a56b6ef5fba19f36c4f70be394a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sat, 7 Sep 2013 23:44:08 +0200
Subject: [PATCH] base: Make Signal_receiver noncopyable

This change prevents accidental copying of signal receivers via a
compile error.
---
 base/include/base/signal.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/base/include/base/signal.h b/base/include/base/signal.h
index 458fd26c93..d62faad7b7 100644
--- a/base/include/base/signal.h
+++ b/base/include/base/signal.h
@@ -17,6 +17,7 @@
 #ifndef _INCLUDE__BASE__SIGNAL_H__
 #define _INCLUDE__BASE__SIGNAL_H__
 
+#include <util/noncopyable.h>
 #include <base/semaphore.h>
 #include <signal_session/signal_session.h>
 
@@ -219,7 +220,7 @@ namespace Genode {
 	/**
 	 * Signal receiver
 	 */
-	class Signal_receiver
+	class Signal_receiver : Noncopyable
 	{
 		private: