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 | 8436c3e502103028e48b9a5165ea3d8ee60c48e0 (patch) | |
| tree | 5b7606f428840addd23ff995d37deb5ea839342d /mixguile/mixguile.h | |
| parent | b5127ef19ab31dd9de9fb62aa8dab3b815ef382d (diff) | |
| download | mdk-8436c3e502103028e48b9a5165ea3d8ee60c48e0.tar.gz mdk-8436c3e502103028e48b9a5165ea3d8ee60c48e0.tar.bz2 | |
uniform command line options handling
Diffstat (limited to 'mixguile/mixguile.h')
| -rw-r--r-- | mixguile/mixguile.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mixguile/mixguile.h b/mixguile/mixguile.h index 469f455..7a29062 100644 --- a/mixguile/mixguile.h +++ b/mixguile/mixguile.h @@ -1,7 +1,7 @@ /* -*-c-*- ---------------- mixguile.h : * Interface to the mixguile interpreter. * ------------------------------------------------------------------ - * $Id: mixguile.h,v 1.4 2001/09/24 23:27:42 jao Exp $ + * $Id: mixguile.h,v 1.5 2001/09/28 23:10:45 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -38,7 +38,7 @@ typedef void (*main_func_t) (int argc, char *argv[]); /* load mixguile startup file */ extern void -mixguile_load_bootstrap (); +mixguile_load_bootstrap (gboolean localinit); /* initialise the guile command dispatcher and enter the provided |