Merge pull request #188 from jrha/travis_indent

Run indentation check against modified pan files
quattor · Oct 29, 2018 · 8383881 · 8383881
2 parents de4b695 + dffdaf1
commit 8383881
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/.travis-scripts/indent b/.travis-scripts/indent
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+set -e # halt script on error
+
+rm -f /tmp/indent.py
+wget -q https://raw.githubusercontent.com/stfc/Pan-Indenter/master/pan_indent_checker.py -O /tmp/indent.py
+chmod u+x /tmp/indent.py
+
+git diff --name-only HEAD^ | grep '\.pan$' | xargs -r /tmp/indent.py || exit 1
diff --git a/.travis.yml b/.travis.yml
@@ -8,6 +8,7 @@ install:
 
 script:
   - ./.travis-scripts/panlint
+  - ./.travis-scripts/indent
   - ./.travis-scripts/test-library
 
 sudo: false