# HG changeset patch
# User jwe
# Date 832917429 0
# Node ID 778a9a837952c57523d157385fd9011a7d8adfe4
# Parent  6dedd4e0a82f361216b40531a85455c9c4773ce7
[project @ 1996-05-24 05:57:09 by jwe]

diff -r 6dedd4e0a82f -r 778a9a837952 src/octave.cc
--- a/src/octave.cc	Fri May 24 04:58:21 1996 +0000
+++ b/src/octave.cc	Fri May 24 05:57:09 1996 +0000
@@ -136,6 +136,7 @@
 long_options long_opts[] =
   {
     { "debug",            prog_args::no_arg,       0, 'd' },
+    { "braindead",        prog_args::no_arg,       0, TRADITIONAL_OPTION },
     { "echo-commands",    prog_args::no_arg,       0, 'x' },
     { "exec-path",        prog_args::required_arg, 0, EXEC_PATH_OPTION },
     { "help",             prog_args::no_arg,       0, 'h' },