annotate src/vm-limit.c @ 97511:6b795ffc50cd

etags.c: improve collapsing multiple slashes in file names.
author Francesco Potortì <pot@gnu.org>
date Sat, 16 Aug 2008 23:59:03 +0000
parents c2be97b488c4
children 05ccdea3b63e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
1 /* Functions for memory limit warnings.
94963
8971ddf55736 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79759
diff changeset
2 Copyright (C) 1990, 1992, 2001, 2002, 2003, 2004, 2005, 2006, 2007,
8971ddf55736 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79759
diff changeset
3 2008 Free Software Foundation, Inc.
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
4
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
5 This file is part of GNU Emacs.
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
6
94963
8971ddf55736 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79759
diff changeset
7 GNU Emacs is free software: you can redistribute it and/or modify
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
8 it under the terms of the GNU General Public License as published by
94963
8971ddf55736 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79759
diff changeset
9 the Free Software Foundation, either version 3 of the License, or
8971ddf55736 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79759
diff changeset
10 (at your option) any later version.
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
11
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
12 GNU Emacs is distributed in the hope that it will be useful,
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
15 GNU General Public License for more details.
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
16
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
94963
8971ddf55736 Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents: 79759
diff changeset
18 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
19
1392
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
20 #ifdef emacs
4696
1fc792473491 Include <config.h> instead of "config.h".
Roland McGrath <roland@gnu.org>
parents: 3935
diff changeset
21 #include <config.h>
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
22 #include "lisp.h"
1392
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
23 #endif
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
24
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
25 #ifndef emacs
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
26 #include <stddef.h>
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
27 typedef size_t SIZE;
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
28 typedef void *POINTER;
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
29 #define EXCEEDS_LISP_PTR(x) 0
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
30 #endif
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
31
1398
70d0cd4c5bff mem_limits.h is now called mem-limits.h.
Roland McGrath <roland@gnu.org>
parents: 1392
diff changeset
32 #include "mem-limits.h"
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
33
69019
01f2a79bee28 [HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents: 68651
diff changeset
34 #ifdef HAVE_GETRLIMIT
01f2a79bee28 [HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents: 68651
diff changeset
35 #include <sys/resource.h>
01f2a79bee28 [HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents: 68651
diff changeset
36 #endif
01f2a79bee28 [HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents: 68651
diff changeset
37
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
38 /*
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
39 Level number of warnings already issued.
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
40 0 -- no warnings issued.
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
41 1 -- 75% warning already issued.
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
42 2 -- 85% warning already issued.
1392
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
43 3 -- 95% warning issued; keep warning frequently.
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
44 */
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
45 enum warnlevel { not_warned, warned_75, warned_85, warned_95 };
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
46
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
47 static enum warnlevel warnlevel;
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
48
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
49 /* Function to call to issue a warning;
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
50 0 means don't issue them. */
1400
af08281c0cbe (warnfunction): Renamed to warn_function (was used inconsistently).
Roland McGrath <roland@gnu.org>
parents: 1398
diff changeset
51 static void (*warn_function) ();
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
52
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
53 /* Start of data space; can be changed by calling malloc_init. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
54 static POINTER data_space_start;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
55
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
56 /* Number of bytes of writable memory we can expect to be able to get. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
57 static unsigned long lim_data;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
58
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
59
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
60 #ifdef NO_LIM_DATA
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
61 static void
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
62 get_lim_data ()
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
63 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
64 lim_data = -1;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
65 }
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
66 #else /* not NO_LIM_DATA */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
67
97252
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
68 #if defined (HAVE_GETRLIMIT) && defined (RLIMIT_AS)
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
69 static void
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
70 get_lim_data ()
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
71 {
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
72 struct rlimit rlimit;
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
73
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
74 getrlimit (RLIMIT_AS, &rlimit);
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
75 if (rlimit.rlim_cur == RLIM_INFINITY)
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
76 lim_data = -1;
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
77 else
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
78 lim_data = rlimit.rlim_cur;
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
79 }
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
80
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
81 #else /* not HAVE_GETRLIMIT */
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
82
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
83 #ifdef USG
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
84
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
85 static void
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
86 get_lim_data ()
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
87 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
88 extern long ulimit ();
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
89
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
90 lim_data = -1;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
91
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
92 /* Use the ulimit call, if we seem to have it. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
93 #if !defined (ULIMIT_BREAK_VALUE) || defined (GNU_LINUX)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
94 lim_data = ulimit (3, 0);
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
95 #endif
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
96
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
97 /* If that didn't work, just use the macro's value. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
98 #ifdef ULIMIT_BREAK_VALUE
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
99 if (lim_data == -1)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
100 lim_data = ULIMIT_BREAK_VALUE;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
101 #endif
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
102
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
103 lim_data -= (long) data_space_start;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
104 }
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
105
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
106 #else /* not USG */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
107 #ifdef WINDOWSNT
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
108
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
109 static void
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
110 get_lim_data ()
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
111 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
112 extern unsigned long reserved_heap_size;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
113 lim_data = reserved_heap_size;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
114 }
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
115
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
116 #else
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
117 #if !defined (BSD4_2) && !defined (__osf__)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
118
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
119 #ifdef MSDOS
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
120 void
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
121 get_lim_data ()
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
122 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
123 _go32_dpmi_meminfo info;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
124
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
125 _go32_dpmi_get_free_memory_information (&info);
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
126 lim_data = info.available_memory;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
127 }
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
128 #else /* not MSDOS */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
129 static void
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
130 get_lim_data ()
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
131 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
132 lim_data = vlimit (LIM_DATA, -1);
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
133 }
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
134 #endif /* not MSDOS */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
135
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
136 #else /* BSD4_2 */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
137
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
138 static void
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
139 get_lim_data ()
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
140 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
141 struct rlimit XXrlimit;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
142
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
143 getrlimit (RLIMIT_DATA, &XXrlimit);
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
144 #ifdef RLIM_INFINITY
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
145 lim_data = XXrlimit.rlim_cur & RLIM_INFINITY; /* soft limit */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
146 #else
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
147 lim_data = XXrlimit.rlim_cur; /* soft limit */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
148 #endif
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
149 }
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
150 #endif /* BSD4_2 */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
151 #endif /* not WINDOWSNT */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
152 #endif /* not USG */
97252
c2be97b488c4 (get_lim_data) [HAVE_GETRLIMIT && RLIMIT_AS]: Define.
Andreas Schwab <schwab@suse.de>
parents: 97251
diff changeset
153 #endif /* not HAVE_GETRLIMIT */
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
154 #endif /* not NO_LIM_DATA */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
155
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
156 /* Verify amount of memory available, complaining if we're near the end. */
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
157
1416
60bb5e719468 (morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents: 1400
diff changeset
158 static void
60bb5e719468 (morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents: 1400
diff changeset
159 check_memory_limits ()
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
160 {
30062
9a026d470bc9 (check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents: 24366
diff changeset
161 #ifdef REL_ALLOC
9a026d470bc9 (check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents: 24366
diff changeset
162 extern POINTER (*real_morecore) ();
9a026d470bc9 (check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents: 24366
diff changeset
163 #endif
1417
3a1576d52874 (check_memory_limits): Declare __morecore.
Roland McGrath <roland@gnu.org>
parents: 1416
diff changeset
164 extern POINTER (*__morecore) ();
3a1576d52874 (check_memory_limits): Declare __morecore.
Roland McGrath <roland@gnu.org>
parents: 1416
diff changeset
165
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
166 register POINTER cp;
3935
cecc2b59e875 (check_memory_limits): Use unsigned long to hold memory size values.
Richard M. Stallman <rms@gnu.org>
parents: 1417
diff changeset
167 unsigned long five_percent;
cecc2b59e875 (check_memory_limits): Use unsigned long to hold memory size values.
Richard M. Stallman <rms@gnu.org>
parents: 1417
diff changeset
168 unsigned long data_size;
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
169 enum warnlevel new_warnlevel;
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
170
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
171 if (lim_data == 0)
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
172 get_lim_data ();
1392
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
173 five_percent = lim_data / 20;
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
174
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
175 /* Find current end of memory and issue warning if getting near max */
30062
9a026d470bc9 (check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents: 24366
diff changeset
176 #ifdef REL_ALLOC
9a026d470bc9 (check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents: 24366
diff changeset
177 if (real_morecore)
9a026d470bc9 (check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents: 24366
diff changeset
178 cp = (char *) (*real_morecore) (0);
9a026d470bc9 (check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents: 24366
diff changeset
179 else
9a026d470bc9 (check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents: 24366
diff changeset
180 #endif
1416
60bb5e719468 (morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents: 1400
diff changeset
181 cp = (char *) (*__morecore) (0);
1400
af08281c0cbe (warnfunction): Renamed to warn_function (was used inconsistently).
Roland McGrath <roland@gnu.org>
parents: 1398
diff changeset
182 data_size = (char *) cp - (char *) data_space_start;
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
183
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
184 if (!warn_function)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
185 return;
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
186
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
187 /* What level of warning does current memory usage demand? */
97250
1533ce04b4b8 (check_memory_limits): Don't use getrlimit on cygwin. Don't use
Chong Yidong <cyd@stupidchicken.com>
parents: 94963
diff changeset
188 new_warnlevel
1533ce04b4b8 (check_memory_limits): Don't use getrlimit on cygwin. Don't use
Chong Yidong <cyd@stupidchicken.com>
parents: 94963
diff changeset
189 = (data_size > five_percent * 19) ? warned_95
1533ce04b4b8 (check_memory_limits): Don't use getrlimit on cygwin. Don't use
Chong Yidong <cyd@stupidchicken.com>
parents: 94963
diff changeset
190 : (data_size > five_percent * 17) ? warned_85
1533ce04b4b8 (check_memory_limits): Don't use getrlimit on cygwin. Don't use
Chong Yidong <cyd@stupidchicken.com>
parents: 94963
diff changeset
191 : (data_size > five_percent * 15) ? warned_75
1533ce04b4b8 (check_memory_limits): Don't use getrlimit on cygwin. Don't use
Chong Yidong <cyd@stupidchicken.com>
parents: 94963
diff changeset
192 : not_warned;
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
193
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
194 /* If we have gone up a level, give the appropriate warning. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
195 if (new_warnlevel > warnlevel || new_warnlevel == warned_95)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
196 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
197 warnlevel = new_warnlevel;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
198 switch (warnlevel)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
199 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
200 case warned_75:
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
201 (*warn_function) ("Warning: past 75% of memory limit");
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
202 break;
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
203
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
204 case warned_85:
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
205 (*warn_function) ("Warning: past 85% of memory limit");
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
206 break;
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
207
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
208 case warned_95:
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
209 (*warn_function) ("Warning: past 95% of memory limit");
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
210 }
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
211 }
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
212 /* Handle going down in usage levels, with some hysteresis. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
213 else
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
214 {
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
215 /* If we go down below 70% full, issue another 75% warning
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
216 when we go up again. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
217 if (data_size < five_percent * 14)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
218 warnlevel = not_warned;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
219 /* If we go down below 80% full, issue another 85% warning
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
220 when we go up again. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
221 else if (warnlevel > warned_75 && data_size < five_percent * 16)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
222 warnlevel = warned_75;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
223 /* If we go down below 90% full, issue another 95% warning
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
224 when we go up again. */
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
225 else if (warnlevel > warned_85 && data_size < five_percent * 18)
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
226 warnlevel = warned_85;
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
227 }
1392
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
228
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
229 if (EXCEEDS_LISP_PTR (cp))
1400
af08281c0cbe (warnfunction): Renamed to warn_function (was used inconsistently).
Roland McGrath <roland@gnu.org>
parents: 1398
diff changeset
230 (*warn_function) ("Warning: memory in use exceeds lisp pointer size");
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
231 }
69390
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
232
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
233 /* Enable memory usage warnings.
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
234 START says where the end of pure storage is.
7e58bc915ffe (get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents: 69019
diff changeset
235 WARNFUN specifies the function to call to issue a warning. */
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
236
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
237 void
1392
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
238 memory_warnings (start, warnfun)
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
239 POINTER start;
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
240 void (*warnfun) ();
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
241 {
1416
60bb5e719468 (morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents: 1400
diff changeset
242 extern void (* __after_morecore_hook) (); /* From gmalloc.c */
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
243
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
244 if (start)
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
245 data_space_start = start;
1392
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
246 else
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
247 data_space_start = start_of_data ();
ad64a94cd81c (morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents: 734
diff changeset
248
1400
af08281c0cbe (warnfunction): Renamed to warn_function (was used inconsistently).
Roland McGrath <roland@gnu.org>
parents: 1398
diff changeset
249 warn_function = warnfun;
1416
60bb5e719468 (morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents: 1400
diff changeset
250 __after_morecore_hook = check_memory_limits;
24366
274b79aeb3b7 (memory_warnings) [WINDOWSNT]: Reset lim_data on each
Andrew Innes <andrewi@gnu.org>
parents: 14186
diff changeset
251
274b79aeb3b7 (memory_warnings) [WINDOWSNT]: Reset lim_data on each
Andrew Innes <andrewi@gnu.org>
parents: 14186
diff changeset
252 /* Force data limit to be recalculated on each run. */
274b79aeb3b7 (memory_warnings) [WINDOWSNT]: Reset lim_data on each
Andrew Innes <andrewi@gnu.org>
parents: 14186
diff changeset
253 lim_data = 0;
734
64e152d639af entered into RCS
Joseph Arceneaux <jla@gnu.org>
parents:
diff changeset
254 }
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
255
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
256 /* arch-tag: eab04eda-1f69-447a-8d9f-95f0a3983ca5
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
257 (do not change this comment) */