diff options
author | Dan Willemsen <dwillemsen@google.com> | 2019-07-25 14:07:36 -0700 |
---|---|---|
committer | Dan Willemsen <dwillemsen@google.com> | 2019-07-25 14:12:38 -0700 |
commit | c6360837bb8273478e267502893a32e5960fae80 (patch) | |
tree | 4180f16e0a12f46bf99dcaed1207e4a5a265ebc3 /scripts/jsonmodify.py | |
parent | e515886a8b55e348716c4234893d6ccd7d7b6c4f (diff) |
Deprecate ONE_SHOT_MAKEFILE
mm is now doing the same thing as mma. Now print a deprecation message
for other tools that may be setting ONE_SHOT_MAKEFILE directly (or users
that are still using a very old envsetup.sh).
Test: mm # does not print
Test: ONE_SHOT_MAKEFILE=bionic m
Change-Id: I98221657024d824a61c0d721d5c7dd1a2ea2fb1e
Diffstat (limited to 'scripts/jsonmodify.py')
0 files changed, 0 insertions, 0 deletions