red_echo "No parameters given."
exit 1
elif [[ $1 = "-m" ]]; then
- INCLUDE="--include=Makefile --include=*.mk"
+ INCLUDE="--include=Makefile --include=*.mk --include=envsetup"
shift
fi
# Grep XSEG #
#############
-grep -RIni --exclude-dir=${XSEG}/sys/user/python --exclude=test.c \
- ${INCLUDE} --color=always -e $1 ${XSEG} | \
+grep -RIni --color=always ${INCLUDE} \
+ --exclude-dir=python \
+ -e $1 ${XSEG} | \
sed 's/'$SED_XSEG'//'
+
source $ARCH_SCRIPTS/init.sh
PIPE="1>/dev/null"
+if [[ ! "$(logname)" = "root" ]]; then $SUDO=sudo; fi
#############
# Arguments #
eval make clean $PIPE
fi
eval make $PIPE
-eval sudo make install $PIPE
+eval $SUDO make install $PIPE