-# $Id$
+# Thierry Parmentelat <thierry.parmentelat@inria.fr>
+# Copyright (C) 2010 INRIA
+#
import time, os, re, glob, sys
from pprint import PrettyPrinter
-def system(command,background=False):
- if background: command += " &"
- if options.dry_run:
+def system(command,background=False,silent=False):
+ if getattr(options,'dry_run',None):
print 'dry_run:',command
return 0
+
+ if silent :
+ if command.find(';')>=0: command = "(%s) 2> /dev/null" % command
+ else: command += " 2> /dev/null"
+ if background: command += " &"
+ if silent:
+ print '.',
+ sys.stdout.flush()
else:
now=time.strftime("%H:%M:%S", time.localtime())
# don't show in summary
print "->",now,'--',
sys.stdout.flush()
- return os.system("set -x; " + command)
+ return os.system("set -x; " + command)
### WARNING : this ALWAYS does its job, even in dry_run mode
def output_of (command):