forked from github/server
24 lines
648 B
Bash
Executable File
24 lines
648 B
Bash
Executable File
#!/bin/sh
|
|
ROOT=$(pwd)
|
|
while [ ! -d $ROOT/.git ]; do
|
|
ROOT=$(dirname $ROOT)
|
|
if [ "/" = "$ROOT" ]; then
|
|
echo "could not find root, are you in the git repository?"
|
|
exit
|
|
fi
|
|
done
|
|
|
|
[ -z "$CC" ] && [ ! -z `which clang` ] && CC="clang"
|
|
[ -z "$CC" ] && [ ! -z `which gcc` ] && CC="gcc"
|
|
[ -z "$CC" ] && [ ! -z `which tcc` ] && CC="tcc"
|
|
[ -z "$CC" ] && [ ! -z `which cc` ] && CC="cc"
|
|
BIN_DIR="Debug"
|
|
|
|
cd $ROOT/$BIN_DIR
|
|
make install
|
|
|
|
# install crontab, but only on the eressea server:
|
|
# in fact, never do this, because it overwrites hand-edits
|
|
#WHOAMI=`whoami`@`hostname`
|
|
#[ "eressea@gruenbaer" = "$WHOAMI" ] && crontab $ROOT/process/cron/crontab
|