X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=kern%2Fsignal.c;h=e4e0522a1bd3c36a019b00dd94a91d9fabdc9eb4;hb=59522a49bb5e019984284cc75a99b49a5e1c5f4e;hp=692cd44bf679b0f8c6b772f1a33152ce2532d243;hpb=680ecaecd7ed77d044fbf333ce97e533b04bbfa3;p=bertos.git

diff --git a/kern/signal.c b/kern/signal.c
index 692cd44b..e4e0522a 100755
--- a/kern/signal.c
+++ b/kern/signal.c
@@ -3,7 +3,7 @@
  * <!--
  * Copyright 2004 Develer S.r.l. (http://www.develer.com/)
  * Copyright 1999, 2000, 2001 Bernardo Innocenti <bernie@develer.com>
- * This file is part of DevLib - See devlib/README for information.
+ * This file is part of DevLib - See README.devlib for information.
  * -->
  *
  * \brief IPC signals implementation.
@@ -66,6 +66,12 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.12  2005/11/04 16:20:02  bernie
+ *#* Fix reference to README.devlib in header.
+ *#*
+ *#* Revision 1.11  2005/04/11 19:10:28  bernie
+ *#* Include top-level headers from cfg/ subdir.
+ *#*
  *#* Revision 1.10  2004/12/13 12:07:06  bernie
  *#* DISABLE_IRQSAVE/ENABLE_IRQRESTORE: Convert to IRQ_SAVE_DISABLE/IRQ_RESTORE.
  *#*
@@ -104,7 +110,7 @@
 #include "proc.h"
 #include "proc_p.h"
 #include "hw.h"
-#include <debug.h>
+#include <cfg/debug.h>
 
 #if CONFIG_KERN_SIGNALS