From f89899083ec2c7758a44ea9faf3a232b31150bd0 Mon Sep 17 00:00:00 2001
From: Federico Terzi <federicoterzi96@gmail.com>
Date: Sat, 21 Sep 2019 09:51:09 +0200
Subject: [PATCH] Debugging Travis CI error

---
 ci/script.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/script.sh b/ci/script.sh
index 293504d..a4088e3 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -4,6 +4,8 @@ set -ex
 
 # TODO This is the "test phase", tweak it as you see fit
 main() {
+    ls -lR /usr/include
+
     cross build --target $TARGET
     cross build --target $TARGET --release