summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorlouiz’ <louiz@louiz.org>2017-07-18 22:56:37 +0200
committerlouiz’ <louiz@louiz.org>2017-07-18 22:56:37 +0200
commitf0f3d3d4e2fb7c02a5b2ad517632ec5071fefb45 (patch)
tree42374f7be73082320264d69c745094c7c4ae1f2d
parentf7cbe8531dd6bd2f91718ac14a564e21d6a0ef11 (diff)
downloadbiboumi-f0f3d3d4e2fb7c02a5b2ad517632ec5071fefb45.tar.gz
biboumi-f0f3d3d4e2fb7c02a5b2ad517632ec5071fefb45.tar.bz2
biboumi-f0f3d3d4e2fb7c02a5b2ad517632ec5071fefb45.tar.xz
biboumi-f0f3d3d4e2fb7c02a5b2ad517632ec5071fefb45.zip
Remove the now useless “find … touch” hack in gitlab-ci.yml
-rw-r--r--.gitlab-ci.yml5
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7ef2f8e..910162d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,11 +9,6 @@ before_script:
- whoami
- mkdir -p build/
- cd build/
- # When we extract the artifacts from a previous build, the timestamp of all target are identicall to
- # the timestamps of the generated source files (like biboumi.h, etc), so Makefile thinks the targets
- # are not up to date, and everything is rebuilt. We change the modification time of all these files
- # to be 15 minutes older, to avoid any unnecessary building.
- - find . \( -name \*.hpp -or -name \*.h -or -name \*.cpp \) -exec touch -r {} -d '-15 minute' {} \;
variables:
COMPILER: "g++"