tools: travis: skip the build if only markdown files are changed (2)

.travis-maybe-skip.sh

@@ -7,8 +7,7 @@ set -e
 # works only on master ? 
 CHANGED_FILES=`git diff --name-only master...${TRAVIS_COMMIT}`
 
-# only files not matching this pattern will trigger a build
-# extended regex, don't quote regex metachars
+# only files not matching this extended regex will trigger a build
 #SKIP_PAT="(^site/con|do.nload)"
 SKIP_PAT="\.md$"
 
@@ -21,6 +20,13 @@ for F in $CHANGED_FILES; do
   fi
 done
 
+# standard travis helper, not in scope for some reason  
+travis_terminate() {
+  set +e
+  pkill -9 -P $$ &> /dev/null || true
+  exit $1
+}
+
 if [[ $SKIP == True ]]; then
   echo "Only skippable files found, exiting."
   travis_terminate 0