From 57dd38594887917e28b3fc526a87ed97632f06fe Mon Sep 17 00:00:00 2001
From: Dario Berzano <dario.berzano@cern.ch>
Date: Mon, 3 Dec 2018 15:21:37 +0100
Subject: [PATCH] Make linter happy

---
 autotools.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/autotools.sh b/autotools.sh
index abdc5d729a..66b2b29d95 100644
--- a/autotools.sh
+++ b/autotools.sh
@@ -109,3 +109,6 @@ find $INSTALLROOT -name '*deleteme' -delete
 grep -l -R -e 'exec [^ ]*/perl' $INSTALLROOT | \
   xargs ${XARGS_DO_NOT_FAIL} -n1 sed -ideleteme -e 's;exec [^ ]*/perl;exec /usr/bin/perl;g'
 find $INSTALLROOT -name '*deleteme' -delete
+
+# Pretend we have a modulefile to make the linter happy (don't delete)
+#%Module