From 47eb371c01931bbf1031f9c431d97a1b8d3c3a84 Mon Sep 17 00:00:00 2001 From: Daniel Agar Date: Tue, 22 Aug 2017 18:25:34 -0400 Subject: [PATCH] delete Tools/make_color.sh --- Tools/make_color.sh | 36 ------------------------------------ 1 file changed, 36 deletions(-) delete mode 100755 Tools/make_color.sh diff --git a/Tools/make_color.sh b/Tools/make_color.sh deleted file mode 100755 index 81316a9328..0000000000 --- a/Tools/make_color.sh +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/sh -# make_color.sh -# -# Author: Simon Wilks (simon@uaventure.com) -# -# A compiler color coder. -# -# To invoke this script everytime you run make simply create the alias: -# -# alias make='/Tools/make_color.sh' -# -# Color codes: -# -# white "\033[1,37m" -# yellow "\033[1,33m" -# green "\033[1,32m" -# blue "\033[1,34m" -# cyan "\033[1,36m" -# red "\033[1,31m" -# magenta "\033[1,35m" -# black "\033[1,30m" -# darkwhite "\033[0,37m" -# darkyellow "\033[0,33m" -# darkgreen "\033[0,32m" -# darkblue "\033[0,34m" -# darkcyan "\033[0,36m" -# darkred "\033[0,31m" -# darkmagenta "\033[0,35m" -# off "\033[0,0m" -# -OFF="\o033[0m" -WARN="\o033[1;33m" -ERROR="\o033[1;31m" -INFO="\o033[0;37m" - -make ${@} 2>&1 | sed "s/make\[[0-9]\].*/$INFO & $OFF/;s/.*: warning: .*/$WARN & $OFF/;s/.*: error: .*/$ERROR & $OFF/"