From 142ab40c4b57315e20c924d0615470ee24f46d9e Mon Sep 17 00:00:00 2001 From: Chris Emmons Date: Thu, 19 Mar 2015 04:06:14 -0400 Subject: config: Specify OS type and release on command line This patch enables users to speficy --os-type on the command line. This option is used to take specific actions for an OS type, such as changing the kernel command line. This patch is part of the Android KitKat enablement. --- configs/example/fs.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'configs/example/fs.py') diff --git a/configs/example/fs.py b/configs/example/fs.py index 83b9b3267..98c7db480 100644 --- a/configs/example/fs.py +++ b/configs/example/fs.py @@ -314,12 +314,12 @@ if options.benchmark: else: if options.dual: bm = [SysConfig(disk=options.disk_image, rootdev=options.root_device, - mem=options.mem_size), + mem=options.mem_size, os_type=options.os_type), SysConfig(disk=options.disk_image, rootdev=options.root_device, - mem=options.mem_size)] + mem=options.mem_size, os_type=options.os_type)] else: bm = [SysConfig(disk=options.disk_image, rootdev=options.root_device, - mem=options.mem_size)] + mem=options.mem_size, os_type=options.os_type)] np = options.num_cpus -- cgit v1.2.3