manual merge after rebase

2026-07-27 14:07:05 -07:00 · 2020-11-09 03:30:47 -05:00
parent cb501a2891
commit cfa796fb41
1 changed files with 11 additions and 0 deletions
@@ -153,6 +153,17 @@ int build_command::do_run()
 {
 	try
 	{
+		// Create a mob.ini in the build folder.
+		if (!exists(paths::prefix())) {
+			create_directory(paths::prefix());
+		}
+		auto prefix_ini = paths::prefix() / "mob.ini";
+		if (!exists(prefix_ini))
+		{
+			std::ofstream out(prefix_ini);
+			out << "[paths]\n" << "prefix = .\n";
+		}
+
 		run_all_tasks();

 		if (do_timings)