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