1 1.1 christos *** gnulib/lib/argmatch.h 2005-09-23 06:15:13.000000000 +0200 2 1.1 christos --- gettext-tools/lib/argmatch.h 2006-07-22 15:57:18.000000000 +0200 3 1.1 christos *************** 4 1.1 christos *** 50,56 **** 5 1.1 christos return. By default, this is a function that calls ARGMATCH_DIE which 6 1.1 christos in turn defaults to `exit (exit_failure)'. */ 7 1.1 christos typedef void (*argmatch_exit_fn) (void); 8 1.1 christos ! extern argmatch_exit_fn argmatch_die; 9 1.1 christos 10 1.1 christos /* Report on stderr why argmatch failed. Report correct values. */ 11 1.1 christos 12 1.1 christos --- 50,56 ---- 13 1.1 christos return. By default, this is a function that calls ARGMATCH_DIE which 14 1.1 christos in turn defaults to `exit (exit_failure)'. */ 15 1.1 christos typedef void (*argmatch_exit_fn) (void); 16 1.1 christos ! extern DLL_VARIABLE argmatch_exit_fn argmatch_die; 17 1.1 christos 18 1.1 christos /* Report on stderr why argmatch failed. Report correct values. */ 19 1.1 christos 20