From 93a305b604692ee6f864332ef0fecf95e76c7bfc Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Wed, 14 Sep 2016 21:10:41 +0200
Subject: [PATCH] fix for travis
---
src/maketools/plumedcheck | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/src/maketools/plumedcheck b/src/maketools/plumedcheck
index 4e02f6054..f9ebaafd5 100755
--- a/src/maketools/plumedcheck
+++ b/src/maketools/plumedcheck
@@ -1,5 +1,8 @@
-#! /usr/bin/env gawk -f
-# needs gawk
+#! /bin/bash
+
+TEMP=$(mktemp)
+
+cat > $TEMP << \EOF
# print usage
function usage(){
@@ -353,3 +356,6 @@ END{
}
}
+EOF
+
+gawk -f $TEMP $@
--
GitLab