X-Git-Url: http://git.tdb.fi/?a=blobdiff_plain;f=source%2Fandroidtools.cpp;h=c5aab653c51fe3eec613412e1328daead5a2c3a8;hb=1ed833343bc83b83c5f61cbfd74423bbba677a04;hp=1633b8b6465dd575acd0676536969a7b9d027af1;hpb=82c7d6187fdaeaa1b9cfbd6637d9b047a78f17ec;p=builder.git diff --git a/source/androidtools.cpp b/source/androidtools.cpp index 1633b8b..c5aab65 100644 --- a/source/androidtools.cpp +++ b/source/androidtools.cpp @@ -44,7 +44,7 @@ AndroidDevKit::AndroidDevKit(Builder &b, const string &type, const FS::Path &def root = default_path; else { - builder.get_logger().log("problems", format("Android %s not found", type)); + builder.get_logger().log("problems", "Android %s not found", type); return; } } @@ -53,13 +53,13 @@ AndroidDevKit::AndroidDevKit(Builder &b, const string &type, const FS::Path &def if(!FS::exists(platforms_dir)) return; - builder.get_logger().log("files", format("Traversing %s", platforms_dir.str())); + builder.get_logger().log("files", "Traversing %s", platforms_dir.str()); supported_api_levels = 0; for(const string &p: list_filtered(platforms_dir, "^android-[1-9][0-9]*$")) { unsigned api = lexical_cast(p.substr(8)); if(api>63) - builder.get_logger().log("problems", format("API level %d is too high", api)); + builder.get_logger().log("problems", "API level %d is too high", api); else supported_api_levels |= 1< platform_archs = list_filtered(platform_archs_dir, "^arch-"); for(string &a: platform_archs) a.erase(0, 5); @@ -219,7 +219,7 @@ void AndroidNdk::init_api_level(unsigned api) } platform_sysroot = platform_archs_dir/("arch-"+use_arch); - builder.get_logger().log("tools", format("Android NDK platform sysroot is %s", platform_sysroot)); + builder.get_logger().log("tools", "Android NDK platform sysroot is %s", platform_sysroot); } @@ -232,7 +232,7 @@ AndroidTools::AndroidTools(Builder &builder, const Architecture &arch): unsigned api = 0; for(unsigned i=32; i>0; i>>=1) api += i*!!(common_api_levels>>(api+i)); - builder.get_logger().log("tools", format("Using Android API level %d", api)); + builder.get_logger().log("tools", "Using Android API level %d", api); sdk.select_api_level(api); ndk.select_api_level(api); }