changeset 2457:12d9c3b761d0

don't quote commands in read_pipe / system
author hanwen <hanwen@lilypond.org>
date Mon, 23 Oct 2006 21:34:48 +0100
parents 22783f8ec866
children 4267f416ea73
files lib/misc.py
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib/misc.py	Mon Oct 23 19:09:57 2006 +0100
+++ b/lib/misc.py	Mon Oct 23 21:34:48 2006 +0100
@@ -10,7 +10,7 @@
 
 
 def read_pipe (cmd, ignore_error=False):
-    print 'executing pipe "%s"' % cmd
+    print 'executing pipe %s' % cmd
     pipe = os.popen (cmd)
 
     val = pipe.read ()
@@ -166,7 +166,7 @@
 
 
 def system (cmd):
-    print 'Executing command "%s"' % cmd
+    print 'Executing command %s' % cmd
     stat = os.system (cmd)
     if stat:
         raise SystemFailed('Command failed ' + `stat`)