| Index: grit_info.py
|
| diff --git a/grit_info.py b/grit_info.py
|
| index 75215ae9e53364c834e4e77820a477dc12f6f86e..9449c48c4ebf4c71c61636fe150b94057a1f6e61 100755
|
| --- a/grit_info.py
|
| +++ b/grit_info.py
|
| @@ -62,10 +62,10 @@ def GritSourceFiles():
|
| return sorted(files)
|
|
|
|
|
| -def Inputs(filename, defines, ids_file):
|
| +def Inputs(filename, defines, ids_file, target_platform):
|
| grd = grd_reader.Parse(
|
| filename, debug=False, defines=defines, tags_to_ignore=set(['message']),
|
| - first_ids_file=ids_file)
|
| + first_ids_file=ids_file, target_platform=target_platform)
|
| files = set()
|
| for lang, ctx in grd.GetConfigurations():
|
| grd.SetOutputLanguage(lang or grd.GetSourceLanguage())
|
| @@ -114,6 +114,7 @@ def DoMain(argv):
|
| parser.add_option("-w", action="append", dest="whitelist_files", default=[])
|
| parser.add_option("-f", dest="ids_file",
|
| default="GRIT_DIR/../gritsettings/resource_ids")
|
| + parser.add_option("-t", dest="target_platform", default=None)
|
|
|
| options, args = parser.parse_args(argv)
|
|
|
| @@ -133,7 +134,8 @@ def DoMain(argv):
|
| inputs = []
|
| if len(args) == 1:
|
| filename = args[0]
|
| - inputs = Inputs(filename, defines, options.ids_file)
|
| + inputs = Inputs(filename, defines, options.ids_file,
|
| + options.target_platform)
|
|
|
| # Add in the grit source files. If one of these change, we want to re-run
|
| # grit.
|
|
|