From 4aefa2356ba88885d3b83ed1742c618ca4bebe70 Mon Sep 17 00:00:00 2001
From: bessw <56679598+bessw@users.noreply.github.com>
Date: Wed, 17 Jul 2024 18:01:17 +0200
Subject: [PATCH] Workaround until MMTs run-file script is fixed, see
 https://github.com/UniFormal/MMT/pull/589

---
 build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index c9a1159..ab2ab6d 100755
--- a/build.sh
+++ b/build.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
 set -euxo pipefail
 
-../MMT/deploy/run-file build.msl
-#java -Xmx8192m -cp "../MMT/deploy/mmt.jar" info.kwarc.mmt.api.frontend.Run :file build.msl
+#../MMT/deploy/run-file build.msl
+java -Xmx8192m -cp "../MMT/deploy/mmt.jar" info.kwarc.mmt.api.frontend.Run :file build.msl