1 files changed, 0 insertions, 38 deletions
diff --git a/travis/lib.sh b/travis/lib.sh
deleted file mode 100644
index 687ed41..0000000
--- a/travis/lib.sh
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/bin/bash
-# Common funcs for working w/Travis.
-
-travis_fold() {
-	if [[ -n ${TRAVIS_OS_NAME} ]] ; then
-		printf 'travis_fold:%s:%s\r\n' "$@" | sed 's: :_:g'
-	fi
-}
-
-if [[ -n ${TRAVIS_OS_NAME} ]] ; then
-	whitebg=$(tput setab 7)
-	blackfg=$(tput setaf 0)
-	normal=$(tput sgr0)
-else
-	whitebg=
-	blackbg=
-	normal=
-fi
-v() {
-	local fold=""
-	case $1 in
-	--fold=*) fold=${1:7}; shift;;
-	esac
-	if [[ -n ${fold} ]] ; then
-		travis_fold start "${fold}"
-		echo "\$ $*"
-		"$@"
-		travis_fold end "${fold}"
-	else
-		echo "${whitebg}${blackfg}\$ $*${normal}"
-		"$@"
-	fi
-}
-
-ncpus=$(getconf _NPROCESSORS_ONLN)
-m() {
-	v make -j${ncpus} "$@"
-}