diff src/toplev.h @ 195:13c6086c325c

[project @ 1993-11-06 10:12:29 by jwe]
author jwe
date Sat, 06 Nov 1993 10:14:11 +0000
parents 7a647cf4850c
children 1761d7a3770c
line wrap: on
line diff
--- a/src/toplev.h
+++ b/src/toplev.h
@@ -28,7 +28,14 @@
 
 class tree;
 
-extern volatile void clean_up_and_exit (int);
+// Tell g++ that clean_up_and_exit doesn't return;
+
+#ifdef __GNUG__
+typedef void v_fcn_i (int);
+volatile v_fcn_i clean_up_and_exit;
+#endif
+
+extern void clean_up_and_exit (int);
 extern void parse_and_execute (char*, int);
 extern void parse_and_execute (FILE*, int);
 
@@ -56,6 +63,9 @@
 // Name of the info file specified on command line.
 extern char *info_file;
 
+// Name of the editor to be invoked by the edit_history command.
+extern char *editor;
+
 // If nonzero, don't do fancy line editing.
 extern int no_line_editing;