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 |