diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-04 22:13:59 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-04 22:13:59 +0000 |
commit | 3052a79ade0d1e691acb10965548c52ebe78d7b8 (patch) | |
tree | 7b83472b01abac2b94c3be59ef916e3603cb82c7 /mixlib/mix_file.h | |
parent | ef45e9051e827c8c6f26f43a4dc9c9513193a5bd (diff) | |
download | mdk-3052a79ade0d1e691acb10965548c52ebe78d7b8.tar.gz mdk-3052a79ade0d1e691acb10965548c52ebe78d7b8.tar.bz2 |
edit and compile commands added to gmixvm
Diffstat (limited to 'mixlib/mix_file.h')
-rw-r--r-- | mixlib/mix_file.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mixlib/mix_file.h b/mixlib/mix_file.h index a4bac12..bb9e7e3 100644 --- a/mixlib/mix_file.h +++ b/mixlib/mix_file.h @@ -49,6 +49,10 @@ mix_file_to_FILE(const mix_file_t *file); /* standard default extensions */ extern const gchar *MIX_SRC_DEFEXT, *MIX_LIST_DEFEXT, *MIX_CODE_DEFEXT; +/* complete a name with an extension, if needed */ +extern gchar * +mix_file_complete_name (const gchar *name, const gchar *extension); + /* Get the base name and extension of file */ extern const gchar * mix_file_base_name(const mix_file_t *file); |