diff options
| -rw-r--r-- | tools/ccc/ccclib/Tools.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/ccc/ccclib/Tools.py b/tools/ccc/ccclib/Tools.py index c0728f5d0f..2ca0a417e8 100644 --- a/tools/ccc/ccclib/Tools.py +++ b/tools/ccc/ccclib/Tools.py @@ -108,9 +108,10 @@ class GCC_PrecompileTool(GCC_Common_Tool): class GCC_AssembleTool(GCC_Common_Tool): def __init__(self): - # We can't generally assume the assembler can take or output - # on pipes. - super(GCC_AssembleTool, self).__init__('gcc (as)') + # Assume that gcc will do any magic necessary to let the + # assembler take piped input. + super(GCC_AssembleTool, self).__init__('gcc (as)', + Tool.eFlagsPipedInput) def getGCCExtraArgs(self): return ['-c'] |