-# $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,silent=False):
- if options.dry_run:
+ if getattr(options,'dry_run',None):
print 'dry_run:',command
return 0
- if silent : command += "2> /dev/null"
+ if silent :
+ if command.find(';')>=0: command = "(%s) 2> /dev/null" % command
+ else: command += " 2> /dev/null"
if background: command += " &"
if silent:
print '.',