| Index: build/landmines.py
|
| diff --git a/build/landmines.py b/build/landmines.py
|
| index f1a514c5e7e206c345a33febea6b3d840781999e..0df5455c7dc558f58f162fe5b94debc67d0a8bee 100755
|
| --- a/build/landmines.py
|
| +++ b/build/landmines.py
|
| @@ -113,6 +113,14 @@ def main():
|
| stdout=subprocess.PIPE)
|
| output, _ = proc.communicate()
|
| landmines.extend([('%s\n' % l.strip()) for l in output.splitlines()])
|
| +
|
| + extra_script = os.environ.get('EXTRA_LANDMINES_SCRIPT')
|
| + if extra_script:
|
| + proc = subprocess.Popen([sys.executable, extra_script, '-t', target],
|
| + stdout=subprocess.PIPE)
|
| + output, _ = p.communicate()
|
| + landmines.extend([('%s\n' % l.strip()) for l in output.splitlines()])
|
| +
|
| set_up_landmines(target, landmines)
|
|
|
| return 0
|
|
|