From eb567b53548387240506e76fb41c1c705c19aa01 Mon Sep 17 00:00:00 2001
From: tgoodwin <tgoodwin>
Date: Fri, 10 Jul 1998 13:27:50 +0000
Subject: change some unused argument names to `ignore'

---
 builtins.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/builtins.c b/builtins.c
index 4e3928f..dcea06d 100644
--- a/builtins.c
+++ b/builtins.c
@@ -98,7 +98,7 @@ static void badnum(char *num) {
 
 /* a dummy command. (exec() performs "exec" simply by not forking) */
 
-extern void b_exec(char **av) {
+extern void b_exec(char **ignore) {
 }
 
 #if RC_ECHO
@@ -245,7 +245,7 @@ static void b_shift(char **av) {
 
 /* dud function */
 
-extern void b_builtin(char **av) {
+extern void b_builtin(char **ignore) {
 }
 
 /* wait for a given process, or all outstanding processes */
-- 
cgit v1.2.3