gen_build_prop: Set ro.tequila.device

Change-Id: I485d74642b869d7ac94ef2fd171cafd759965d41

scripts/gen_build_prop.py

@@ -118,6 +118,8 @@ def parse_args():
   if args.build_thumbprint_file:
     config["BuildThumbprint"] = args.build_thumbprint_file.read().strip()
 
+  config["tequilaDevice"] = config["DeviceName"]
+
   override_config(config)
 
   append_additional_system_props(args)
@@ -242,6 +244,8 @@ def generate_build_info(args):
   # flavor (via a dedicated lunch config for example).
   print(f"ro.build.flavor={config['BuildFlavor']}")
 
+  print(f"ro.tequila.device={config['tequilaDevice']}")
+
   # These values are deprecated, use "ro.product.cpu.abilist"
   # instead (see below).
   print(f"# ro.product.cpu.abi and ro.product.cpu.abi2 are obsolete,")