code.grnet.gr Git - archipelago/blob - arch-scripts/make_xseg.sh

   1 #! /bin/bash
   2
   3 ###################
   4 # Initializations #
   5 ###################
   6
   7 set -e  #exit on error
   8
   9 # Find script location
  10 ARCH_SCRIPTS=$(dirname "$(readlink /proc/$$/fd/255)")
  11
  12 #Include basic functions
  13 source $ARCH_SCRIPTS/init.sh
  14
  15 PIPE="1>/dev/null"
  16 if [[ ! "$(logname)" = "root" ]]; then $SUDO=sudo; fi
  17
  18 #############
  19 # Arguments #
  20 #############
  21
  22 while [[ -n $1 ]]; do
  23         if [[ $1 = '-c' ]]; then CLEAN=0        #Will initially call `make clean`
  24         elif [[ $1 = '-d' ]]; then PIPE=""      #Will not pipe any output to /dev/null
  25         else red_echo "${1}: Unknown command."
  26         fi
  27         shift
  28 done
  29
  30 #############
  31 # Make XSEG #
  32 #############
  33
  34 cd $XSEG
  35
  36 if [[ $CLEAN ]]; then
  37         eval make clean $PIPE
  38 fi
  39 eval make $PIPE
  40 eval $SUDO make install $PIPE