Statistics
| Branch: | Revision:

root / arch-scripts / make_xseg.sh @ 86555df4

History | View | Annotate | Download (609 Bytes)

1
#! /bin/bash
2

    
3
###################
4
# Initializations #
5
###################
6

    
7
#Include basic functions
8
source init.sh
9

    
10
set -e	#exit on error
11

    
12
XSEG=/home/$(logname)/archipelago/xseg
13
PIPE="1>/dev/null"
14

    
15
#############
16
# Arguments #
17
#############
18

    
19
while [[ -n $1 ]]; do
20
	if [[ $1 = '-c' ]]; then CLEAN=0	#Will initially call `make clean`
21
	elif [[ $1 = '-d' ]]; then PIPE=""	#Will not pipe any output to /dev/null
22
	else red_echo "${1}: Unknown command."
23
	fi
24
	shift
25
done
26

    
27
#############
28
# Make XSEG #
29
#############
30

    
31
cd $XSEG
32

    
33
if [[ $CLEAN ]]; then
34
	eval make clean $PIPE
35
fi
36
eval make $PIPE
37
eval sudo make install $PIPE