diff options
author | makefu <github@syntax-fehler.de> | 2011-08-12 19:21:10 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2011-08-12 19:21:10 +0200 |
commit | df883a02e22be3119daf2a23d7253a21d50d902e (patch) | |
tree | bc38c0694c5b4a57ef29b3900f50d97880d44d0d /util/auto/krebs | |
parent | 729987c0b77b5b21f565446b62a614283c1e2b48 (diff) |
auto/krebs: finish auto script
krebscode now auto-installable via curl | sh
Diffstat (limited to 'util/auto/krebs')
-rw-r--r-- | util/auto/krebs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/auto/krebs b/util/auto/krebs index 33b33668..eb6c25a8 100644 --- a/util/auto/krebs +++ b/util/auto/krebs @@ -50,6 +50,8 @@ function edit_config() rm $CONF printf "I hate you by the way..." bailout + fi + make -C $1 } punani -Ei git make KREBSDIR=${1-/krebs} |