Merge pull request #17 from EuropeanSpallationSource/overwrite-configure-RELEASE

travis: overwrite configure/RELEASE instead of appending to it
2020-02-12 16:42:54 +00:00
parent 7ae7054196 aee11f266b
commit 17ce951e99
1 changed files with 1 additions and 1 deletions
--- a/travis/utils.sh
+++ b/travis/utils.sh
@@ -182,7 +182,7 @@ add_dependency() {
      release=$CACHEDIR/$dirname-$TAG/configure/RELEASE
      if [ -e $release ]
      then
-        grep -q "include \$(TOP)/../RELEASE.local" $release || echo "-include \$(TOP)/../RELEASE.local" >> $release
+        echo "-include \$(TOP)/../RELEASE.local" > $release
      fi
    fi
    # run hook