using wasmer again for github builds

diff --git a/settings.sh b/settings.sh
index 7ab78ec9704bed5cef37a85659d12c5732d046bd..a2e5309468a0e285015343ce91e8af5e7c825495 100644 (file)
--- 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.