Allow multiple shells to be enabled.
diff --git a/ash.c b/ash.c
index 15e1adb..b1aec62 100644
--- a/ash.c
+++ b/ash.c
@@ -7638,7 +7638,7 @@
  */
 
 int
-shell_main(argc, argv)
+ash_main(argc, argv)
 	int argc;
 	char **argv;
 {
@@ -12874,7 +12874,7 @@
 /*
  * Copyright (c) 1999 Herbert Xu <herbert@debian.org>
  * This file contains code for the times builtin.
- * $Id: ash.c,v 1.15 2001/07/31 21:38:23 andersen Exp $
+ * $Id: ash.c,v 1.16 2001/08/01 17:21:33 kraai Exp $
  */
 static int timescmd (int argc, char **argv)
 {