Index: gdb/copying.c |
diff --git a/gdb/copying.c b/gdb/copying.c |
index d608a63669e4cc924ac290fa15403fa768f8a594..66837b87fd641a2c9391a10c229560ab2773cecf 100644 |
--- a/gdb/copying.c |
+++ b/gdb/copying.c |
@@ -1,5 +1,6 @@ |
-/* ==> Do not modify this file!! It is created automatically |
- by copying.awk. Modify copying.awk instead. <== */ |
+/* ==> Do not modify this file!! -*- buffer-read-only: t -*- vi:set ro: |
+ It is created automatically by copying.awk. |
+ Modify copying.awk instead. <== */ |
#include "defs.h" |
#include "command.h" |
@@ -11,11 +12,9 @@ static void show_warranty_command (char *, int); |
void _initialize_copying (void); |
-extern int immediate_quit; |
static void |
show_copying_command (char *ignore, int from_tty) |
{ |
- immediate_quit++; |
printf_filtered (" GNU GENERAL PUBLIC LICENSE\n"); |
printf_filtered (" Version 3, 29 June 2007\n"); |
printf_filtered ("\n"); |
@@ -604,13 +603,11 @@ show_copying_command (char *ignore, int from_tty) |
printf_filtered ("author or copyright holder as a result of your choosing to follow a\n"); |
printf_filtered ("later version.\n"); |
printf_filtered ("\n"); |
- immediate_quit--; |
} |
static void |
show_warranty_command (char *ignore, int from_tty) |
{ |
- immediate_quit++; |
printf_filtered (" 15. Disclaimer of Warranty.\n"); |
printf_filtered ("\n"); |
printf_filtered (" THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY\n"); |
@@ -643,7 +640,6 @@ show_warranty_command (char *ignore, int from_tty) |
printf_filtered ("Program, unless a warranty or assumption of liability accompanies a\n"); |
printf_filtered ("copy of the Program in return for a fee.\n"); |
printf_filtered ("\n"); |
- immediate_quit--; |
} |
void |