From 7b1fbcd6babfe69954a297ea826ad0529d1b98d5 Mon Sep 17 00:00:00 2001
From: Michael Albinus <michael.albinus@gmx.de>
Date: Fri, 4 Jan 2019 18:08:03 +0100
Subject: [PATCH] * .gitlab-ci.yml (test): Instrument.

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f03270c59d8..541cc7ec5af 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,6 +38,7 @@ test:
   variables:
     EMACS_EMBA_CI: 1
   script:
+    - df
     - ./autogen.sh autoconf
     - ./configure --without-makeinfo
     - make bootstrap
-- 
2.39.5