From 78ce2582bbb863d8af11aa203b73bd864ea0bc4f Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Wed, 22 Aug 2001 23:45:17 +0000 Subject: file moved to mixguile dir --- mixutils/mixguile.c | 44 -------------------------------------------- 1 file changed, 44 deletions(-) delete mode 100644 mixutils/mixguile.c diff --git a/mixutils/mixguile.c b/mixutils/mixguile.c deleted file mode 100644 index 46a35f1..0000000 --- a/mixutils/mixguile.c +++ /dev/null @@ -1,44 +0,0 @@ -/* -*-c-*- -------------- mixguile.c : - * Main function for mixguile, the MIX Guile shell - * ------------------------------------------------------------------ - * Last change: Time-stamp: "01/08/22 01:20:01 jao" - * ------------------------------------------------------------------ - * Copyright (C) 2001 Free Software Foundation, Inc. - * - * This program is free software; you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published by - * the Free Software Foundation; either version 2 of the License, or - * (at your option) any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - * - */ - -#include -#include -#include - -static void -inner_main_ (int argc, char *argv[]) -{ - mix_vm_cmd_dispatcher_t *dis = mix_vm_cmd_dispatcher_new (stdout, stderr); - mixguile_set_cmd_dispatcher (dis); - mixguile_enter_repl (argc, argv); -} - -int -main (int argc, char *argv[]) -{ - mixguile_init (argc, argv, inner_main_); - return EXIT_SUCCESS; /* never reached */ -} - - - -- cgit v1.2.3