runpty.c: Replace fprintf()+exit() pairs with new die().

[nmh] / h / prototypes.h

diff --git a/h/prototypes.h b/h/prototypes.h
index f28f2839651bbafed3fe65df093e4bb5b8ad90be..ec11915adcbb214e5a50b9b5c77fb3d7ec4ec50f 100644 (file)
--- a/h/prototypes.h
+++ b/h/prototypes.h
@@ -189,7 +189,7 @@ int pidwait (pid_t, int);
 int pidstatus (int, FILE *, char *);
 char *pluspath(char *);
 void print_help (char *, struct swit *, int);
-void print_intro (FILE *, int);
+void print_intro (FILE *, bool);
 void print_sw (const char *, const struct swit *, char *, FILE *);
 void print_version (char *);
 void push (void);