diff --git a/lib/master.pike.in b/lib/master.pike.in index bfb163fc84b246ad346b8691634210ee9dfc2f79..08e13f8448727adeca3fceb71fa91a5ddbb44cb8 100644 --- a/lib/master.pike.in +++ b/lib/master.pike.in @@ -1,4 +1,4 @@ -/* $Id: master.pike.in,v 1.23 1998/04/29 15:56:52 grubba Exp $ +/* $Id: master.pike.in,v 1.24 1998/04/29 16:00:57 grubba Exp $ * * Master-file for Pike. * @@ -586,7 +586,7 @@ void _main(string *orig_argv, string *env) ({"compiler_trace",tmp->NO_ARG,"--compiler-trace"}), ({"debug",tmp->MAY_HAVE_ARG,"--debug",0,1}), ({"trace",tmp->MAY_HAVE_ARG,"--trace",0,1}), - ({"ignore",tmp->MAY_HAVE_ARG,"-Dqdatpl",0,1}) + ({"ignore",tmp->MAY_HAVE_ARG,"-Dqdatpl",0,1}), ({"ignore",tmp->HAS_ARG,"-s"}), }), 1);