Merge #307

307: Fix default runner. r=therealprof a=reitermarkus

Fixes `powerpc64le` using `qemu-ppc64` (which doesn't exist) instead of `qemu-ppc64le`.

Co-authored-by: Markus Reiter <[email protected]>

Author: bors[bot]

docker/linux-runner

@@ -13,6 +13,10 @@ fi
 arch=$1
 shift
 
+if [ "$CROSS_RUNNER" = "" ]; then
+    CROSS_RUNNER=qemu-user
+fi
+
 # select qemu arch
 qarch=$arch
 case "$arch" in
@@ -41,7 +45,7 @@ case "$CROSS_RUNNER" in
     native)
         exec "${@}"
         ;;
-    qemu-user | "")
+    qemu-user)
         exec qemu-$qarch "${@}"
         ;;
     qemu-system)