diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-06-22 09:44:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-22 09:44:45 +0200 |
| commit | 8bf5b502223d48ee1b7b88ab8613be7bacbb63d2 (patch) | |
| tree | 23dd684ad6876711a618bc73078d7fdbcc5abc62 /methods.py | |
| parent | 2365fe472b0999100e76078d7b9f5e8f7fe2f9d5 (diff) | |
| parent | 920224a535f7858dd4bf39f04e3c90c8276503c3 (diff) | |
Merge pull request #19695 from rraallvv/nocache_gen_master
Add NoCache wrapper to Command (master)
Diffstat (limited to 'methods.py')
| -rw-r--r-- | methods.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/methods.py b/methods.py index 6dca826b2b..227a17d312 100644 --- a/methods.py +++ b/methods.py @@ -1329,3 +1329,8 @@ def add_program(env, name, sources, **args): program = env.Program(name, sources, **args) env.NoCache(program) return program + +def CommandNoCache(env, target, sources, command, **args): + result = env.Command(target, sources, command, **args) + env.NoCache(result) + return result |