diff --git a/src/script/runant.py b/src/script/runant.py index 1343f68d9..dcd07423b 100644 --- a/src/script/runant.py +++ b/src/script/runant.py @@ -76,8 +76,8 @@ if os.environ.has_key('CLASSPATH'): CLASSPATH = os.environ['CLASSPATH'] # Builds the commandline -cmdline = ('%s %s -classpath \"%s\" \"-Dant.home=%s\" %s ' + \ - 'org.apache.tools.ant.launch.Launcher %s -lib \"%s\" \"%s\"') \ +cmdline = ('%s %s -classpath %s -Dant.home=%s %s ' + \ + 'org.apache.tools.ant.launch.Launcher %s -lib %s %s') \ % (JAVACMD, ANT_OPTS, LOCALCLASSPATH, ANT_HOME, OPTS, ANT_ARGS, \ CLASSPATH, string.join(sys.argv[1:], ' '))