Merge branch 'master' of https://gitlab.redox-os.org/redox-os/redox

2019-10-02 20:01:57 -06:00 · 2019-10-02 20:01:57 -06:00 · 8308d2f412
parent cb44f74571 f1c8a49ed7
commit 8308d2f412
1 changed files with 1 additions and 1 deletions
--- a/ci.toml
+++ b/ci.toml
@ -98,7 +98,7 @@ netdb = {}
 netstack = {}
 netsurf = {}
 netutils = {}
-neverball = {}
+#neverball = {} # error finding SDL includes
 #newlib = {} # obsolete
 #newlibtest = {} # obsolete
 nghttp2 = {}