From 451f28f5c41d692fad5ec04da2907691e2a5fab8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?louiz=E2=80=99?= <louiz@louiz.org>
Date: Sun, 9 Apr 2017 23:29:28 +0200
Subject: Change the dates of source files before each build, to avoid useless
 rebuild

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index afe2393..807e8ba 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,6 +10,11 @@ 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++"
-- 
cgit v1.2.3