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, 0 insertions, 8 deletions
diff --git a/third_party/waf/waflib/extras/sync_exec.py b/third_party/waf/waflib/extras/sync_exec.py deleted file mode 100644 index ba241fc69b4..00000000000 --- a/third_party/waf/waflib/extras/sync_exec.py +++ /dev/null @@ -1,8 +0,0 @@ -#! /usr/bin/env python -# encoding: utf-8 - -""" -This tool is obsolete, the sync_exec feature is now the default -""" - -pass |