From f8e392ebb5a74b5c494d7531d44ae5bbdef092d6 Mon Sep 17 00:00:00 2001
From: Filippos Giannakos <philipgian@grnet.gr>
Date: Fri, 7 Jun 2013 10:38:41 +0300
Subject: [PATCH] Remove arch-script files

---
 arch-scripts/grep_xseg.sh |   38 --------------------------------------
 arch-scripts/init.sh      |   21 ---------------------
 arch-scripts/make_xseg.sh |   40 ----------------------------------------
 3 files changed, 99 deletions(-)
 delete mode 100755 arch-scripts/grep_xseg.sh
 delete mode 100644 arch-scripts/init.sh
 delete mode 100755 arch-scripts/make_xseg.sh

diff --git a/arch-scripts/grep_xseg.sh b/arch-scripts/grep_xseg.sh
deleted file mode 100755
index f7d108d..0000000
--- a/arch-scripts/grep_xseg.sh
+++ /dev/null
@@ -1,38 +0,0 @@
-#! /bin/bash
-
-###################
-# Initializations #
-###################
-
-set -e	#exit on error
-
-# Find script location
-ARCH_SCRIPTS=$(dirname "$(readlink /proc/$$/fd/255)")
-
-#Include basic functions
-source $ARCH_SCRIPTS/init.sh
-
-SED_XSEG=$(echo "${XSEG}/" | sed 's/\//\\\//g')
-INCLUDE="--include=*.c --include=*.h"
-
-#############
-# Arguments #
-#############
-
-if [[ -z $1 ]]; then
-	red_echo "No parameters given."
-	exit 1
-elif [[ $1 = "-m" ]]; then
-	INCLUDE="--include=Makefile --include=*.mk --include=envsetup"
-	shift
-fi
-
-#############
-# Grep XSEG #
-#############
-
-grep -RIni --color=always ${INCLUDE} \
-	--exclude-dir=python \
-	-e $1 ${XSEG} | \
-	sed 's/'$SED_XSEG'//'
-
diff --git a/arch-scripts/init.sh b/arch-scripts/init.sh
deleted file mode 100644
index 7a66d19..0000000
--- a/arch-scripts/init.sh
+++ /dev/null
@@ -1,21 +0,0 @@
-#! /bin/bash
-
-##########################
-# Function definitions #
-##########################
-
-txtrst=$(tput sgr0)		# Reset text color
-txtred=$(tput setaf 1)	# Make text red
-txtgrn=$(tput setaf 2)	# Make text green
-
-red_echo(){
-	echo -e "${txtred}${1}${txtrst}"
-}
-
-grn_echo(){
-	echo -e "${txtgrn}${1}${txtrst}"
-}
-
-#ARCH_SCRIPTS must be already set by the caller function
-XSEG=$ARCH_SCRIPTS/../xseg
-
diff --git a/arch-scripts/make_xseg.sh b/arch-scripts/make_xseg.sh
deleted file mode 100755
index add01b8..0000000
--- a/arch-scripts/make_xseg.sh
+++ /dev/null
@@ -1,40 +0,0 @@
-#! /bin/bash
-
-###################
-# Initializations #
-###################
-
-set -e  #exit on error
-
-# Find script location
-ARCH_SCRIPTS=$(dirname "$(readlink /proc/$$/fd/255)")
-
-#Include basic functions
-source $ARCH_SCRIPTS/init.sh
-
-PIPE="1>/dev/null"
-if [[ ! "$(logname)" = "root" ]]; then $SUDO=sudo; fi
-
-#############
-# Arguments #
-#############
-
-while [[ -n $1 ]]; do
-	if [[ $1 = '-c' ]]; then CLEAN=0	#Will initially call `make clean`
-	elif [[ $1 = '-d' ]]; then PIPE=""	#Will not pipe any output to /dev/null
-	else red_echo "${1}: Unknown command."
-	fi
-	shift
-done
-
-#############
-# Make XSEG #
-#############
-
-cd $XSEG
-
-if [[ $CLEAN ]]; then
-	eval make clean $PIPE
-fi
-eval make $PIPE
-eval $SUDO make install $PIPE
-- 
1.7.10.4