From cd5e0bb88b5096474f9d169129bea1f3b9826fcc Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Mon, 4 May 2020 14:33:37 +0200
Subject: [PATCH] Manually remove directory contents.
- Maybe there is something cached?
---
.gitlab-ci.yml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ff37423..b07950e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,9 +9,12 @@ test:
stage: build
before_script:
- git submodule init
- - git submodule update --remote
- cat .gitmodules
- cat .git/config
- ls -lah *
+ - rm -rf relast.preprocessor/*
+ - ls -lah *
+ - git submodule update --remote
+ - ls -lah *
script:
- ./gradlew --no-daemon build
--
GitLab