From 64d4898515f8b85a32c66b8b3aaf0056acde08b5 Mon Sep 17 00:00:00 2001
From: Brendan Hansen <brendan.f.hansen@gmail.com>
Date: Sun, 4 Sep 2022 19:32:38 -0500
Subject: [PATCH] using wasmer again for github builds

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

diff --git a/settings.sh b/settings.sh
index 7ab78ec9..a2e53094 100644
--- a/settings.sh
+++ b/settings.sh
@@ -15,8 +15,8 @@ CC='gcc'
 # The architecture of your system. If your not sure, leave this alone.
 ARCH="$(uname -m)"
 
-RUNTIME_LIBRARY="ovmwasm"
-# RUNTIME_LIBRARY="wasmer"
+# RUNTIME_LIBRARY="ovmwasm"
+RUNTIME_LIBRARY="wasmer"
 
 # Where the Wasmer library files can be found.
 # They are bundled with the project, but if a different version is available, these can be changed.
-- 
2.25.1