diff options
Diffstat (limited to 'ninjabackend.py')
| -rw-r--r-- | ninjabackend.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ninjabackend.py b/ninjabackend.py index 28a4f97..5cb7705 100644 --- a/ninjabackend.py +++ b/ninjabackend.py @@ -991,6 +991,8 @@ class NinjaBackend(backends.Backend): modmatch = modre.match(line) if modmatch is not None: modname = modmatch.group(1) + if modname.lower() == 'procedure': # MODULE PROCEDURE construct + continue if modname in module_files: raise InvalidArguments('Namespace collision: module %s defined in two files %s and %s.' % (modname, module_files[modname], s)) |