@@ -51,26 +51,26 @@
       dist: trusty
       env:
         - config=amigaos
 
     # Nintendo DS and 3DS
-    - os: linux
-      dist: trusty
-      env:
-        - config=devkitarm
+    #- os: linux
+    #  dist: trusty
+    #  env:
+    #    - config=devkitarm
 
     # Nintendo Wii
-    - os: linux
-      dist: trusty
-      env:
-        - config=devkitppc
+    #- os: linux
+    #  dist: trusty
+    #  env:
+    #    - config=devkitppc
 
     # PSP
-    - os: linux
-      dist: trusty
-      env:
-        - config=devkitpsp
+    #- os: linux
+    #  dist: trusty
+    #  env:
+    #    - config=devkitpsp
 
 before_install:
   - if [ "$TRAVIS_OS_NAME" = "linux" -a -z "$config" ]; then
             if ! sudo apt-get -qq update >/tmp/apt_log 2>&1; then
                     cat /tmp/apt_log;