diff options
Diffstat (limited to 'Build/source/texk/ps2pk/basics.c')
-rw-r--r-- | Build/source/texk/ps2pk/basics.c | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/Build/source/texk/ps2pk/basics.c b/Build/source/texk/ps2pk/basics.c deleted file mode 100644 index 6b1842d5eaa..00000000000 --- a/Build/source/texk/ps2pk/basics.c +++ /dev/null @@ -1,27 +0,0 @@ -/* FILE: basics.c - * PURPOSE: basic functions - * AUTHOR: Piet Tutelaers - * (see README for license) - */ - -#include "basics.h" - -/* Give up ... */ -void fatal(const char *fmt, ...) -{ va_list args; - - va_start(args, fmt); - vfprintf(stderr, fmt, args); - va_end(args); - exit(1); -} - -/* Give a message ... */ -void msg(const char *fmt, ...) -{ va_list args; - - va_start(args, fmt); - vfprintf(stderr, fmt, args); - fflush(stderr); - va_end(args); -} |