Support passing DEVELOPER_DIR to mig.py

BUG=chromium:651267

Change-Id: If02f9bac603237677d348869d05d7b4d0b31909e
Reviewed-on: https://chromium-review.googlesource.com/392486
Reviewed-by: Mark Mentovai <mark@chromium.org>
This commit is contained in:
Erik Chen 2016-10-03 17:31:48 -07:00 committed by Mark Mentovai
parent a16a7fd4ef
commit 1e6dbcb300

View File

@ -15,6 +15,7 @@
# See the License for the specific language governing permissions and # See the License for the specific language governing permissions and
# limitations under the License. # limitations under the License.
import os
import re import re
import subprocess import subprocess
import sys import sys
@ -106,8 +107,13 @@ extern "C" {
file.close() file.close()
def main(args): def main(args):
assert len(args) == 5 if len(args) == 5:
(defs_file, user_c, server_c, user_h, server_h) = args (defs_file, user_c, server_c, user_h, server_h) = args
elif len(args) == 6:
(defs_file, user_c, server_c, user_h, server_h, dev_dir) = args
os.environ['DEVELOPER_DIR'] = dev_dir
else:
assert False, "Wrong number of arguments"
subprocess.check_call(['mig', subprocess.check_call(['mig',
'-user', user_c, '-user', user_c,
'-server', server_c, '-server', server_c,