3 files changed, 2 insertions, 40 deletions
diff --git a/tools/travis-before_install.sh b/tools/travis-before_install.sh
deleted file mode 100755
index fe010945..00000000
--- a/tools/travis-before_install.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/usr/bin/env bash
-
-#set -x
-set -e
-set -o pipefail
-
-if [ "${TRAVIS_OS_NAME}" = "osx" ]; then
-  brew update
-fi
-
-if [ -n "${BOOST_VERSION}" ]; then
-  mkdir -p $BOOST_ROOT
-  wget --no-verbose --output-document=- \
-    http://sourceforge.net/projects/boost/files/boost/${BOOST_VERSION}/boost_${BOOST_VERSION//./_}.tar.bz2/download \
-    | tar jxf - --strip-components=1 -C "${BOOST_ROOT}"
-fi
diff --git a/tools/travis-install.sh b/tools/travis-install.sh
deleted file mode 100755
index 4e8bdc48..00000000
--- a/tools/travis-install.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/usr/bin/env bash
-
-#set -x
-set -e
-set -o pipefail
-
-if [ "${TRAVIS_OS_NAME}" = "osx" ]; then
-  for formula in $(echo "${BREWS//,/ }"); do
-    echo "Checking ${formula} formula"
-    brew outdated "${formula}" \
-      || (brew unlink "${formula}"
-          brew install "${formula}"
-         )
-  done
-fi
-
-if [ -d "${BOOST_ROOT}" ]; then
-  (cd "${BOOST_ROOT}"
-    ./bootstrap.sh --with-libraries="${BOOST_LIBS}"
-    ./b2 threading=multi --prefix="${BOOST_ROOT}" -d0 install
-  )
-fi
diff --git a/tools/update_copyright_year.sh b/tools/update_copyright_year.sh
index db9541d4..ab08a947 100755
--- a/tools/update_copyright_year.sh
+++ b/tools/update_copyright_year.sh
@@ -5,7 +5,7 @@
 # This script will replace the last year of Copyright statements with the first
 # argument of this script (defaulting to the current year).
 
-# Copyright (c) 2016 Alexis Hildebrandt
+# Copyright (c) 2016, 2019 Alexis Hildebrandt
 #
 # Permission is hereby granted, free of charge, to any person obtaining a copy
 # of this software and associated documentation files (the "Software"), to deal
@@ -31,6 +31,6 @@ YEAR=${1:-$(date +%Y)}
 GREP=${2:-egrep}
 
 ${GREP} -Rl 'Copyright.*Wiegley' $(git ls-files | cut -d / -f1 | uniq) \
-  | ${GREP} -v "(test/garbage-input.dat|$(basename $0))" \
+  | ${GREP} -v "(test/regress/25A099C9.dat|$(basename $0))" \
   | xargs sed -i '' -e "s/\(Copyright.*\)-20[0-9]\{2\}/\1-${YEAR}/"