From 771b203610228e6a51ab7b10b2359fc3328d0c01 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 1 Dec 2009 13:08:44 +0000 Subject: [PATCH] removed old translation of --no-argv to -A svn: r17133 --- src/mzscheme/cmdline.inc | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/mzscheme/cmdline.inc b/src/mzscheme/cmdline.inc index 1c4901c88e..250b7a5b16 100644 --- a/src/mzscheme/cmdline.inc +++ b/src/mzscheme/cmdline.inc @@ -681,8 +681,6 @@ static int run_from_cmd_line(int argc, char *_argv[], argv[0] = "-j"; else if (!strcmp("--no-delay", argv[0])) argv[0] = "-d"; - else if (!strcmp("--no-argv", argv[0])) - argv[0] = "-A"; else if (!strcmp("--repl", argv[0])) argv[0] = "-i"; else if (!strcmp("--binary", argv[0]))