annotate msdos/is_exec.c @ 94076:b359dad87c7e

*** empty log message ***
author Tassilo Horn <tassilo@member.fsf.org>
date Mon, 14 Apr 2008 13:18:12 +0000
parents 2464f9ce3ddd
children f55f9811f5d7 fa41f74280f5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25856
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* IS_EXEC.C
Dave Love <fx@gnu.org>
parents:
diff changeset
2 *
75760
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
3 * Copyright (C) 1995 DJ Delorie
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
4 * Copyright (C) 1994 Eli Zaretskii <eliz@is.elta.co.il>
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
5 *
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
6 * (See the README file in this directory for the copyright and license
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
7 * history of this file.)
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
8 *
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
9 * This file is free software; you can redistribute it and/or modify
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
10 * it under the terms of the GNU General Public License as published by
78311
2464f9ce3ddd Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75760
diff changeset
11 * the Free Software Foundation; either version 3, or (at your option)
75760
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
12 * any later version.
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
13 *
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
14 * This file is distributed in the hope that it will be useful,
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
17 * GNU General Public License for more details.
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
18 *
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
19 * You should have received a copy of the GNU General Public License
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
20 * along with this file; see the file COPYING. If not, write to
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
21 * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
22 * Boston, MA 02110-1301, USA.
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
23 *
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
24 * Commentary:
60ed74508594 Relicense under GPL - see README file for details.
Glenn Morris <rgm@gnu.org>
parents: 75486
diff changeset
25 *
25856
Dave Love <fx@gnu.org>
parents:
diff changeset
26 * Given a filename or a file handle, and the extension of the file,
Dave Love <fx@gnu.org>
parents:
diff changeset
27 * determine if the file is executable.
Dave Love <fx@gnu.org>
parents:
diff changeset
28 * First, the file extension is checked in case it uniquely identifies
Dave Love <fx@gnu.org>
parents:
diff changeset
29 * the file as either an executable or not. Failing this, the first
Dave Love <fx@gnu.org>
parents:
diff changeset
30 * two bytes of the file are tested for known signatures of executable
Dave Love <fx@gnu.org>
parents:
diff changeset
31 * files.
Dave Love <fx@gnu.org>
parents:
diff changeset
32 *
Dave Love <fx@gnu.org>
parents:
diff changeset
33 */
Dave Love <fx@gnu.org>
parents:
diff changeset
34
Dave Love <fx@gnu.org>
parents:
diff changeset
35 #include <libc/stubs.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
36 #include <stdio.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
37 #include <string.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
38 #include <ctype.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
39 #include <errno.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
40 #include <dpmi.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
41 #include <go32.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
42 #include <io.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
43 #include <libc/farptrgs.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
44 #include <libc/dosio.h>
Dave Love <fx@gnu.org>
parents:
diff changeset
45
Dave Love <fx@gnu.org>
parents:
diff changeset
46 extern unsigned short _djstat_flags;
Dave Love <fx@gnu.org>
parents:
diff changeset
47 unsigned short _get_magic(const char *, int);
Dave Love <fx@gnu.org>
parents:
diff changeset
48 int _is_executable(const char *, int, const char *);
Dave Love <fx@gnu.org>
parents:
diff changeset
49
Dave Love <fx@gnu.org>
parents:
diff changeset
50 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
51 * Read a MAGIC NUMBER from a given file. These are the first
Dave Love <fx@gnu.org>
parents:
diff changeset
52 * two bytes of the file, if we look at them as an unsigned short. */
Dave Love <fx@gnu.org>
parents:
diff changeset
53
Dave Love <fx@gnu.org>
parents:
diff changeset
54 #define _STAT_EXEC_EXT 2 /* get execute bits from file extension? */
Dave Love <fx@gnu.org>
parents:
diff changeset
55 #define _STAT_EXEC_MAGIC 4 /* get execute bits from magic signature? */
Dave Love <fx@gnu.org>
parents:
diff changeset
56
Dave Love <fx@gnu.org>
parents:
diff changeset
57 unsigned short
Dave Love <fx@gnu.org>
parents:
diff changeset
58 _get_magic(const char *s, int fh)
Dave Love <fx@gnu.org>
parents:
diff changeset
59 {
Dave Love <fx@gnu.org>
parents:
diff changeset
60 __dpmi_regs regs;
Dave Love <fx@gnu.org>
parents:
diff changeset
61 unsigned short retval;
Dave Love <fx@gnu.org>
parents:
diff changeset
62 unsigned short fpos_high = 0, fpos_low = 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
63 int read_fail = 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
64
Dave Love <fx@gnu.org>
parents:
diff changeset
65 /* If given a pathname, open the file. */
Dave Love <fx@gnu.org>
parents:
diff changeset
66 if (s)
Dave Love <fx@gnu.org>
parents:
diff changeset
67 {
Dave Love <fx@gnu.org>
parents:
diff changeset
68 int handle;
Dave Love <fx@gnu.org>
parents:
diff changeset
69 if((handle = _open(s,0)) == -1)
Dave Love <fx@gnu.org>
parents:
diff changeset
70 return 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
71 regs.x.bx = handle;
Dave Love <fx@gnu.org>
parents:
diff changeset
72 }
Dave Love <fx@gnu.org>
parents:
diff changeset
73 /* Else file already open. Remember its current file position
Dave Love <fx@gnu.org>
parents:
diff changeset
74 and move to beginning of file. */
Dave Love <fx@gnu.org>
parents:
diff changeset
75 else
Dave Love <fx@gnu.org>
parents:
diff changeset
76 {
Dave Love <fx@gnu.org>
parents:
diff changeset
77 regs.x.ax = 0x4201; /* set pointer from current position */
Dave Love <fx@gnu.org>
parents:
diff changeset
78 regs.x.bx = fh;
Dave Love <fx@gnu.org>
parents:
diff changeset
79 regs.x.cx = regs.x.dx = 0; /* move 0 bytes (i.e., stay put) */
Dave Love <fx@gnu.org>
parents:
diff changeset
80 __dpmi_int(0x21, &regs);
Dave Love <fx@gnu.org>
parents:
diff changeset
81 if (regs.x.flags & 1)
Dave Love <fx@gnu.org>
parents:
diff changeset
82 {
Dave Love <fx@gnu.org>
parents:
diff changeset
83 errno = __doserr_to_errno(regs.x.ax);
Dave Love <fx@gnu.org>
parents:
diff changeset
84 return 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
85 }
Dave Love <fx@gnu.org>
parents:
diff changeset
86 fpos_high = regs.x.dx; /* got current position */
Dave Love <fx@gnu.org>
parents:
diff changeset
87 fpos_low = regs.x.ax;
Dave Love <fx@gnu.org>
parents:
diff changeset
88
Dave Love <fx@gnu.org>
parents:
diff changeset
89 regs.x.ax = 0x4200; /* set pointer from the beginning of file */
Dave Love <fx@gnu.org>
parents:
diff changeset
90 regs.x.cx = regs.x.dx = 0; /* move to beginning of file */
Dave Love <fx@gnu.org>
parents:
diff changeset
91 __dpmi_int(0x21, &regs);
Dave Love <fx@gnu.org>
parents:
diff changeset
92 if (regs.x.flags & 1)
Dave Love <fx@gnu.org>
parents:
diff changeset
93 {
Dave Love <fx@gnu.org>
parents:
diff changeset
94 errno = __doserr_to_errno(regs.x.ax);
Dave Love <fx@gnu.org>
parents:
diff changeset
95 return 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
96 }
Dave Love <fx@gnu.org>
parents:
diff changeset
97 }
Dave Love <fx@gnu.org>
parents:
diff changeset
98 regs.x.ds = __tb_segment;
Dave Love <fx@gnu.org>
parents:
diff changeset
99 regs.x.dx = __tb_offset;
Dave Love <fx@gnu.org>
parents:
diff changeset
100
Dave Love <fx@gnu.org>
parents:
diff changeset
101 /* Read 2 bytes from the file. */
Dave Love <fx@gnu.org>
parents:
diff changeset
102 regs.x.ax = 0x3f00;
Dave Love <fx@gnu.org>
parents:
diff changeset
103 regs.x.cx = 2;
Dave Love <fx@gnu.org>
parents:
diff changeset
104 __dpmi_int(0x21, &regs);
Dave Love <fx@gnu.org>
parents:
diff changeset
105
Dave Love <fx@gnu.org>
parents:
diff changeset
106 /* We can either (1) succeed, (2) read less than 2 bytes,
Dave Love <fx@gnu.org>
parents:
diff changeset
107 or (3) fail to read at all. */
Dave Love <fx@gnu.org>
parents:
diff changeset
108 if (regs.x.ax != 2)
Dave Love <fx@gnu.org>
parents:
diff changeset
109 read_fail = (regs.x.flags & 1) ? regs.x.ax : -1;
Dave Love <fx@gnu.org>
parents:
diff changeset
110
Dave Love <fx@gnu.org>
parents:
diff changeset
111 /* If called with filename, close the file. */
Dave Love <fx@gnu.org>
parents:
diff changeset
112 if (s)
Dave Love <fx@gnu.org>
parents:
diff changeset
113 {
Dave Love <fx@gnu.org>
parents:
diff changeset
114 regs.x.ax = 0x3e00;
Dave Love <fx@gnu.org>
parents:
diff changeset
115 __dpmi_int(0x21, &regs);
Dave Love <fx@gnu.org>
parents:
diff changeset
116 if (regs.x.flags & 1)
Dave Love <fx@gnu.org>
parents:
diff changeset
117 errno = __doserr_to_errno(regs.x.ax);
Dave Love <fx@gnu.org>
parents:
diff changeset
118 }
Dave Love <fx@gnu.org>
parents:
diff changeset
119 /* Else leave file pointer where we found it. */
Dave Love <fx@gnu.org>
parents:
diff changeset
120 else
Dave Love <fx@gnu.org>
parents:
diff changeset
121 {
Dave Love <fx@gnu.org>
parents:
diff changeset
122 regs.x.ax = 0x4200; /* set pointer from the beginning of file */
Dave Love <fx@gnu.org>
parents:
diff changeset
123 regs.x.bx = fh;
Dave Love <fx@gnu.org>
parents:
diff changeset
124 regs.x.cx = fpos_high;
Dave Love <fx@gnu.org>
parents:
diff changeset
125 regs.x.dx = fpos_low;
Dave Love <fx@gnu.org>
parents:
diff changeset
126 __dpmi_int(0x21, &regs);
Dave Love <fx@gnu.org>
parents:
diff changeset
127 if (regs.x.flags & 1)
Dave Love <fx@gnu.org>
parents:
diff changeset
128 {
Dave Love <fx@gnu.org>
parents:
diff changeset
129 errno = __doserr_to_errno(regs.x.ax);
Dave Love <fx@gnu.org>
parents:
diff changeset
130 return 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
131 }
Dave Love <fx@gnu.org>
parents:
diff changeset
132 }
Dave Love <fx@gnu.org>
parents:
diff changeset
133
Dave Love <fx@gnu.org>
parents:
diff changeset
134 if (read_fail == 0)
Dave Love <fx@gnu.org>
parents:
diff changeset
135 retval = _farpeekw(_dos_ds, __tb);
Dave Love <fx@gnu.org>
parents:
diff changeset
136 else
Dave Love <fx@gnu.org>
parents:
diff changeset
137 {
Dave Love <fx@gnu.org>
parents:
diff changeset
138 /* The file couldn't be read: assume non-executable. If the file
Dave Love <fx@gnu.org>
parents:
diff changeset
139 *is* executable, but was passed as a file-handle, and the user
Dave Love <fx@gnu.org>
parents:
diff changeset
140 opened it in write-only mode, they lose... */
Dave Love <fx@gnu.org>
parents:
diff changeset
141 retval = 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
142 if (read_fail != -1)
Dave Love <fx@gnu.org>
parents:
diff changeset
143 errno = __doserr_to_errno(read_fail);
Dave Love <fx@gnu.org>
parents:
diff changeset
144 }
Dave Love <fx@gnu.org>
parents:
diff changeset
145
Dave Love <fx@gnu.org>
parents:
diff changeset
146 return retval;
Dave Love <fx@gnu.org>
parents:
diff changeset
147 }
Dave Love <fx@gnu.org>
parents:
diff changeset
148
Dave Love <fx@gnu.org>
parents:
diff changeset
149 /* A list of extensions which designate executable files. These
Dave Love <fx@gnu.org>
parents:
diff changeset
150 are NOT tested for the magic number. */
Dave Love <fx@gnu.org>
parents:
diff changeset
151 static char executables[] = "|EXE|COM|BAT|BTM|DLL|VXD|";
Dave Love <fx@gnu.org>
parents:
diff changeset
152
Dave Love <fx@gnu.org>
parents:
diff changeset
153 /* A list of extensions which belong to files known to NEVER be
Dave Love <fx@gnu.org>
parents:
diff changeset
154 executables. These exist to minimize read()'ing files while
Dave Love <fx@gnu.org>
parents:
diff changeset
155 detecting executables by magic number. You are welcome to
Dave Love <fx@gnu.org>
parents:
diff changeset
156 add to this list, but remember: only extensions which could
Dave Love <fx@gnu.org>
parents:
diff changeset
157 NEVER be present in executables should go here. */
Dave Love <fx@gnu.org>
parents:
diff changeset
158 static char non_executables[] = "\
Dave Love <fx@gnu.org>
parents:
diff changeset
159 |A|A01|A02|A03|A04|A05|ADL|ARC|ARJ|ASC|ASM|AUX|AWK\
Dave Love <fx@gnu.org>
parents:
diff changeset
160 |BAS|BIB|BGI|BMP\
Dave Love <fx@gnu.org>
parents:
diff changeset
161 |C|CC|CFG|CGZ|CH3|CHR|CI|CLP|CMF|CPI|CPP|CXX\
Dave Love <fx@gnu.org>
parents:
diff changeset
162 |DAT|DBF|DIZ|DOC|DVI\
Dave Love <fx@gnu.org>
parents:
diff changeset
163 |E|EL|ELC\
Dave Love <fx@gnu.org>
parents:
diff changeset
164 |F77|FN3\
Dave Love <fx@gnu.org>
parents:
diff changeset
165 |GIF|GZ\
Dave Love <fx@gnu.org>
parents:
diff changeset
166 |H|HLP|HPP|HXX\
Dave Love <fx@gnu.org>
parents:
diff changeset
167 |ICO|IN|INC|INF|INI\
Dave Love <fx@gnu.org>
parents:
diff changeset
168 |JPG\
Dave Love <fx@gnu.org>
parents:
diff changeset
169 |L|LEX|LF|LIB|LOG|LST|LZH\
Dave Love <fx@gnu.org>
parents:
diff changeset
170 |M|MAK|MAP|MF|MID|MPG\
Dave Love <fx@gnu.org>
parents:
diff changeset
171 |O|OBJ\
Dave Love <fx@gnu.org>
parents:
diff changeset
172 |PAK|PAS|PBM|PCD|PCX|PDS|PIC|PIF|PN3|PRJ|PS\
Dave Love <fx@gnu.org>
parents:
diff changeset
173 |RAS|RGB|RLE\
Dave Love <fx@gnu.org>
parents:
diff changeset
174 |S|SND|SY3\
Dave Love <fx@gnu.org>
parents:
diff changeset
175 |TAR|TAZ|TEX|TGA|TGZ|TIF|TXH|TXI|TXT\
Dave Love <fx@gnu.org>
parents:
diff changeset
176 |VOC\
Dave Love <fx@gnu.org>
parents:
diff changeset
177 |WAV|WK1|WK3|WKB|WQ1|WQ3|WQ4|WQ5|WQ6|WQ!\
Dave Love <fx@gnu.org>
parents:
diff changeset
178 |XBM\
Dave Love <fx@gnu.org>
parents:
diff changeset
179 |Y\
Dave Love <fx@gnu.org>
parents:
diff changeset
180 |ZIP|ZOO|";
Dave Love <fx@gnu.org>
parents:
diff changeset
181
Dave Love <fx@gnu.org>
parents:
diff changeset
182 int
Dave Love <fx@gnu.org>
parents:
diff changeset
183 _is_executable(const char *filename, int fhandle, const char *extension)
Dave Love <fx@gnu.org>
parents:
diff changeset
184 {
Dave Love <fx@gnu.org>
parents:
diff changeset
185 if (!extension && filename)
Dave Love <fx@gnu.org>
parents:
diff changeset
186 {
Dave Love <fx@gnu.org>
parents:
diff changeset
187 const char *cp, *ep=0;
Dave Love <fx@gnu.org>
parents:
diff changeset
188 for (cp=filename; *cp; cp++)
Dave Love <fx@gnu.org>
parents:
diff changeset
189 {
Dave Love <fx@gnu.org>
parents:
diff changeset
190 if (*cp == '.')
Dave Love <fx@gnu.org>
parents:
diff changeset
191 ep = cp;
Dave Love <fx@gnu.org>
parents:
diff changeset
192 if (*cp == '/' || *cp == '\\' || *cp == ':')
Dave Love <fx@gnu.org>
parents:
diff changeset
193 ep = 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
194 }
Dave Love <fx@gnu.org>
parents:
diff changeset
195 extension = ep;
Dave Love <fx@gnu.org>
parents:
diff changeset
196 }
Dave Love <fx@gnu.org>
parents:
diff changeset
197 if ((_djstat_flags & _STAT_EXEC_EXT) == 0
Dave Love <fx@gnu.org>
parents:
diff changeset
198 && extension
Dave Love <fx@gnu.org>
parents:
diff changeset
199 && *extension
Dave Love <fx@gnu.org>
parents:
diff changeset
200 && strlen(extension) <= ((extension[0]=='.') ? 4 : 3))
Dave Love <fx@gnu.org>
parents:
diff changeset
201 {
Dave Love <fx@gnu.org>
parents:
diff changeset
202 /* Search the list of extensions in executables[]. */
Dave Love <fx@gnu.org>
parents:
diff changeset
203 char tmp_buf[6], *tp = tmp_buf;
Dave Love <fx@gnu.org>
parents:
diff changeset
204
Dave Love <fx@gnu.org>
parents:
diff changeset
205 *tp++ = '|';
Dave Love <fx@gnu.org>
parents:
diff changeset
206 if (*extension == '.')
Dave Love <fx@gnu.org>
parents:
diff changeset
207 extension++;
Dave Love <fx@gnu.org>
parents:
diff changeset
208 while (*extension)
Dave Love <fx@gnu.org>
parents:
diff changeset
209 *tp++ = toupper (*extension++);
Dave Love <fx@gnu.org>
parents:
diff changeset
210 *tp++ = '|';
Dave Love <fx@gnu.org>
parents:
diff changeset
211 *tp = '\0';
Dave Love <fx@gnu.org>
parents:
diff changeset
212 if (strstr(non_executables, tmp_buf))
Dave Love <fx@gnu.org>
parents:
diff changeset
213 return 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
214 else if (strstr(executables, tmp_buf))
Dave Love <fx@gnu.org>
parents:
diff changeset
215 return 1;
Dave Love <fx@gnu.org>
parents:
diff changeset
216 }
Dave Love <fx@gnu.org>
parents:
diff changeset
217
Dave Love <fx@gnu.org>
parents:
diff changeset
218 /* No extension, or extension doesn't define execute
Dave Love <fx@gnu.org>
parents:
diff changeset
219 bits unambiguously. We are in for some dirty work.
Dave Love <fx@gnu.org>
parents:
diff changeset
220 Read the first two bytes of the file and see if they
Dave Love <fx@gnu.org>
parents:
diff changeset
221 are any of the known magic numbers which designate
Dave Love <fx@gnu.org>
parents:
diff changeset
222 executable files.
Dave Love <fx@gnu.org>
parents:
diff changeset
223 Unix-like shells, which have executable shell scripts
Dave Love <fx@gnu.org>
parents:
diff changeset
224 without extensions and DON'T have "#!" as their FIRST
Dave Love <fx@gnu.org>
parents:
diff changeset
225 TWO CHARACTERS, lose here. Sorry, folks. */
Dave Love <fx@gnu.org>
parents:
diff changeset
226 if ( (_djstat_flags & _STAT_EXEC_MAGIC) == 0 )
Dave Love <fx@gnu.org>
parents:
diff changeset
227 {
Dave Love <fx@gnu.org>
parents:
diff changeset
228 switch (_get_magic(filename, fhandle))
Dave Love <fx@gnu.org>
parents:
diff changeset
229 {
Dave Love <fx@gnu.org>
parents:
diff changeset
230 case 0x5a4d: /* "MZ" */
Dave Love <fx@gnu.org>
parents:
diff changeset
231 case 0x010b:
Dave Love <fx@gnu.org>
parents:
diff changeset
232 case 0x014c:
Dave Love <fx@gnu.org>
parents:
diff changeset
233 case 0x2123: /* "#!" */
Dave Love <fx@gnu.org>
parents:
diff changeset
234 return 1;
Dave Love <fx@gnu.org>
parents:
diff changeset
235 }
Dave Love <fx@gnu.org>
parents:
diff changeset
236 }
Dave Love <fx@gnu.org>
parents:
diff changeset
237
Dave Love <fx@gnu.org>
parents:
diff changeset
238 return 0;
Dave Love <fx@gnu.org>
parents:
diff changeset
239 }
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25856
diff changeset
240
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25856
diff changeset
241 /* arch-tag: b0965811-8c3e-4bc4-8d81-4447a3594785
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25856
diff changeset
242 (do not change this comment) */