CI: Disable Genode

Genode bindings are failing to build on Debian testing / GCC 10.x. Given that these are going to be removed soon, remove them from CI now so that we can get it to go green.
Solo5 · Dec 22, 2020 · b0d5b22 · b0d5b22
1 parent d09e1a6
commit b0d5b22
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/build.sh b/build.sh
@@ -47,11 +47,6 @@ do_basic()
 {
     message "Starting build."
     try ./configure.sh
-    # Genode bindings are disabled by default; enable them for Linux hosts to
-    # ensure they get tested by Solo5 CI.
-    if [ "$(uname -s)" = "Linux" ]; then
-        echo CONFIG_GENODE=1 >>Makeconf
-    fi
     try ${MAKE}
     # Some CIs can now run tests, so do that.
     if [ -n "${SURF_RUN_TESTS}" ]; then