+++ /dev/null
-#! /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'//'
-
+++ /dev/null
-#! /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
-
+++ /dev/null
-#! /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