From cfa796fb41226048119c216a8f302bca8236d846 Mon Sep 17 00:00:00 2001
From: isanae <14251494+isanae@users.noreply.github.com>
Date: Mon, 9 Nov 2020 03:30:47 -0500
Subject: [PATCH] manual merge after rebase

---
 src/cmd/build.cpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/cmd/build.cpp b/src/cmd/build.cpp
index 962bbd4..9b32050 100644
--- a/src/cmd/build.cpp
+++ b/src/cmd/build.cpp
@@ -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)