return arg
def run(args):
- print ' '.join(map(quote, args))
- print
+ # We MUST print to stderr. Some clients use the stdout output of
+ # gcc for various purposes.
+ print >> sys.stderr, ' '.join(map(quote, args))
+ print >> sys.stderr
code = subprocess.call(args)
if code > 255:
code = 1
run(command + args)
def compile(args):
+ # We MUST print to stderr. Some clients use the stdout output of
+ # gcc for various purposes.
print >> sys.stderr, '\n'
command = 'gcc'.split()
run(command + args)
print_args = []
if verbose:
+ # We MUST print to stderr. Some clients use the stdout output of
+ # gcc for various purposes.
print >> sys.stderr, ' '.join(['\n[LOCATION]:', os.getcwd(), '\n' ])
i = 0
while i < len(args):
args.append(htmldir)
print_args.append(htmldir)
- if verbose:
+ if verbose:
+ # We MUST print to stderr. Some clients use the stdout output of
+ # gcc for various purposes.
print >> sys.stderr, ' '.join(command+print_args)
print >> sys.stderr, '\n'