diff options
Diffstat (limited to 'third_party/waf/waflib/extras/sync_exec.py')
-rw-r--r-- | third_party/waf/waflib/extras/sync_exec.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/third_party/waf/waflib/extras/sync_exec.py b/third_party/waf/waflib/extras/sync_exec.py new file mode 100644 index 00000000000..ba241fc69b4 --- /dev/null +++ b/third_party/waf/waflib/extras/sync_exec.py @@ -0,0 +1,8 @@ +#! /usr/bin/env python +# encoding: utf-8 + +""" +This tool is obsolete, the sync_exec feature is now the default +""" + +pass |