diff --git a/indra/develop.py b/indra/develop.py index 7836c97473b1f46236e8c6e480d4f1e4cac1501b..79baa613adb1a2758b2b05117ea7c90fddc59dd0 100755 --- a/indra/develop.py +++ b/indra/develop.py @@ -239,6 +239,7 @@ def arch(self): def run(self, command, name=None): '''Run a program. If the program fails, raise an exception.''' + sys.stdout.flush() ret = os.system(command) if ret: if name is None: @@ -456,7 +457,7 @@ def run_build(self, opts, targets): targets = ' '.join(['-target ' + repr(t) for t in targets]) else: targets = '' - cmd = ('xcodebuild -configuration %s %s %s' % + cmd = ('xcodebuild -configuration %s %s %s | grep -v "^[[:space:]]*setenv" ; exit ${PIPESTATUS[0]}' % (self.build_type, ' '.join(opts), targets)) for d in self.build_dirs(): try: