change some unused argument names to `ignore'

1 files 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 */