CI DEBUG: DO NOT MERGE

Signed-off-by: Rolf Neugebauer <rn@rneugeba.io>

Author: rn

.circleci/config.yml

@@ -2,7 +2,7 @@ version: 2
 jobs:
   build:
     macos:
-      xcode: "11.3.1"
+      xcode: "12.4.0"
     environment:
       # OPAM seems to be quite unhappy without $TERM and Circle doesn't seem to set one.
       TERM: vt100

test/tinycore.sh

@@ -1,6 +1,10 @@
-#!/bin/sh
+#!/bin/sh -x
 set -e
 
+# debug
+sysctl machdep.cpu
+ioreg -l
+
 # These are binaries from a mirror of
 #  http://tinycorelinux.net
 # with the following patch applied: