ObjFW  Check-in [44c03cae44]

            if grep precise /etc/lsb-release >/dev/null; then
                    sudo ipx_internal_net add 1234 123456;
            fi;
    fi

  - if [ "$config" = "nintendo_3ds" -o "$config" = "nintendo_ds"
        -o "$config" = "wii" ]; then
            deb=devkitpro-pacman_1.0.2.amd64.deb;
            wget https://github.com/devkitPro/pacman/releases/download/v1.0.2/devkitpro-pacman_1.0.2.amd64.deb;
            sudo dpkg -i devkitpro-pacman.deb;
            wget https://github.com/devkitPro/pacman/releases/download/v1.0.2/$deb;
            sudo dpkg -i $deb;
    fi

  - if [ "$config" = "nintendo_3ds" ]; then
            sudo dkp-pacman --noconfirm -Syu 3ds-dev;
    fi

  - if [ "$config" = "nintendo_ds" ]; then