From: bernie <bernie@38d2e660-2303-0410-9eaa-f027e97ec537>
Date: Tue, 19 Oct 2004 11:47:39 +0000 (+0000)
Subject: Kill warnings when !CONFIG_PROC_MONITOR.
X-Git-Tag: 1.0.0~991
X-Git-Url: https://codewiz.org/gitweb?a=commitdiff_plain;h=b6b9bf085c6a02bca4441599d176344e0153a612;p=bertos.git

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 bdfde8a8..f61eab98 100755
--- 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
 }