15 def backup_file(bench, file_type):  argument
16     mk_file = os.path.join(config.android_home, config.bench_dict[bench],
23             os.path.join(config.android_home, config.bench_dict[bench],
28                                                                 bench))
33 def replace_flags(bench, android_type, file_type, cflags, ldflags):  argument
52         bench_diff = bench + '_flags_aosp.diff'
54         bench_diff = bench + '_flags_internal.diff'
68 def apply_patches(bench):  argument
69     bench_dir = os.path.join(config.android_home, config.bench_dict[bench])
76         raise OSError('Patch for adding flags for %s does not succeed.' % bench)
79 def replace_flags_in_dir(bench, cflags, ldflags):  argument
80     bench_mk = os.path.join(config.android_home, config.bench_dict[bench],