Kill warnings when !CONFIG_PROC_MONITOR.

git-svn-id: https://src.develer.com/svnoss/bertos/trunk@250 38d2e660-2303-0410-9eaa-f027e97ec537

diff --git a/kern/proc.c b/kern/proc.c
index bdfde8a8d75640dba967e6f9a87694421cb894f7..f61eab983688d8a4f885f14bf174b5d48830afd0 100755 (executable)
--- a/kern/proc.c
+++ b/kern/proc.c
@@ -17,6 +17,9 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.19  2004/10/19 11:47:39  bernie
+ *#* Kill warnings when !CONFIG_PROC_MONITOR.
+ *#*
  *#* Revision 1.18  2004/10/19 08:54:43  bernie
  *#* Initialize forbid_cnt; Formatting/comments fixes.
  *#*
@@ -255,6 +258,8 @@ void proc_rename(struct Process *proc, const char *name)
 {
 #if CONFIG_KERN_MONITOR
        monitor_rename(proc, name);
+#else
+       (void)proc; (void)name;
 #endif
 }