diff --git a/src/script/runant.py b/src/script/runant.py index c7b53b692..05fd1f972 100644 --- a/src/script/runant.py +++ b/src/script/runant.py @@ -95,6 +95,7 @@ cmdline = ('%s %s -classpath %s -Dant.home=%s %s ' + \ if debug: print '\n%s\n\n' % (cmdline) +sys.stdout.flush() # Run the biniou! os.system(cmdline)