diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-28 23:10:45 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-28 23:10:45 +0000 |
commit | 1d0fcf308929bde5749b889373d5c2f338fa8969 (patch) | |
tree | 624b053028a1ff9505b9fd297107278c5273e17d /mixguile/mixguile_main.c | |
parent | 08ae1393b7d415355308856618ca96c3ba2cfbd0 (diff) | |
download | mdk-1d0fcf308929bde5749b889373d5c2f338fa8969.tar.gz mdk-1d0fcf308929bde5749b889373d5c2f338fa8969.tar.bz2 |
uniform command line options handling
Diffstat (limited to 'mixguile/mixguile_main.c')
-rw-r--r-- | mixguile/mixguile_main.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/mixguile/mixguile_main.c b/mixguile/mixguile_main.c index fca0664..c230131 100644 --- a/mixguile/mixguile_main.c +++ b/mixguile/mixguile_main.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixguile_main.c : * Main function for mixguile, the MIX Guile shell * ------------------------------------------------------------------ - * $Id: mixguile_main.c,v 1.4 2001/09/24 23:28:03 jao Exp $ + * $Id: mixguile_main.c,v 1.5 2001/09/28 23:10:45 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -53,7 +53,6 @@ main (int argc, char *argv[]) mix_vm_cmd_dispatcher_t *dis; int c; - const char *prog_name = argv[0]; gboolean initfile = TRUE; setlocale (LC_ALL, ""); @@ -74,9 +73,7 @@ main (int argc, char *argv[]) switch (c) { case VER_OPT: - fprintf (stderr, _("%s %s, Scheme MIX Virtual Machine.\n"), - prog_name, VERSION); - fprintf (stderr, MIX_GPL_LICENSE); + mix_print_license ("mixguile, Scheme MIX Virtual Machine"); return EXIT_SUCCESS; case NOINIT_OPT: initfile = FALSE; |