blob: 7c03f007873de8560284d1db6fa8265b02360b5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
import sys
if sys.platform == 'win32':
args = sys.argv[1:]
while args:
a = args[0]
if a == '-o':
out = args[1]
args = args[2:]
continue
if not a[0] in '/-':
break
args = args[1:]
if a[:5].lower() == '/out:': out = a[5:]
infile = open(args[0], 'rb')
outfile = open(out, 'wb')
for l in infile.readlines():
if l[:5] != b'#link':
outfile.write(l)
sys.exit(0)
else:
import getopt
opts, args = getopt.getopt(sys.argv[1:], 'o:')
for opt, arg in opts:
if opt == '-o': out = arg
infile = open(args[0], 'rb')
outfile = open(out, 'wb')
for l in infile.readlines():
if l[:5] != b'#link':
outfile.write(l)
sys.exit(0)
|
