diff options
Diffstat (limited to 'hl/tools/gif2h5/hdf2gif.c')
| -rw-r--r-- | hl/tools/gif2h5/hdf2gif.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hl/tools/gif2h5/hdf2gif.c b/hl/tools/gif2h5/hdf2gif.c index 8805c80..120e42e 100644 --- a/hl/tools/gif2h5/hdf2gif.c +++ b/hl/tools/gif2h5/hdf2gif.c @@ -46,7 +46,7 @@ static void leave(int ret) { h5tools_close(); - HDexit(ret); + exit(ret); } static FILE *fpGif = NULL; |