From 8c4212addadb69c6b0192a7b09dd4b6bee39233f Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Wed, 14 Sep 2016 20:49:25 +0200
Subject: [PATCH] Fix for travis

---
 .travis.yml               | 2 +-
 src/maketools/plumedcheck | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index ee0deb4f8..785f4186d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -78,7 +78,7 @@ install:
   - if [[ "$TRAVIS_OS_NAME" == "osx" ]] && test -z "$PLUMED_MACPORTS" ; then brew update > /dev/null ; fi
   - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get update -qq ; fi
 # install some package - these are fast, we install them anyway
-  - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -y libmatheval-dev libfftw3-dev gsl-bin libgsl0-dev gawk ; fi
+  - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -y libmatheval-dev libfftw3-dev gsl-bin libgsl0-dev ; fi
   - if test "$PLUMED_CXX" ; then ./.travis/install.xdrfile ; fi
 # cppcheck:
 # I use 1.71 since 1.72 seems to report a lot of false positive
diff --git a/src/maketools/plumedcheck b/src/maketools/plumedcheck
index 1ed3c9fcf..4e02f6054 100755
--- a/src/maketools/plumedcheck
+++ b/src/maketools/plumedcheck
@@ -1,4 +1,4 @@
-#! /usr/bin/env gawk -E
+#! /usr/bin/env gawk -f
 # needs gawk
 
 # print usage 
-- 
GitLab