From 5bcfdb969d782458cc3d6fde67ffe7cb2f1bd59c Mon Sep 17 00:00:00 2001
From: Christophe de Dinechin <dinechin@redhat.com>
Date: Fri, 13 Apr 2018 15:24:51 +0200
Subject: [PATCH] Verify the installation step in the gitlab CI

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3ab09c3..b8003de 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,3 +18,7 @@ make_only:
 statistics:
   script:
   - time make opt-test
+
+install:
+  script:
+  - make DESTDIR=./tmp install && ls -lR tmp