diff options
| author | root <root@filebitch> | 2011-08-16 19:10:17 +0200 |
|---|---|---|
| committer | root <root@filebitch> | 2011-08-16 19:10:17 +0200 |
| commit | 460982f036bdc4815ea5e9447392bdb049ff2a87 (patch) | |
| tree | b27e2e3cb28b8b4ecbb3e9ba2004966241262c85 /util/auto | |
| parent | 9a9ff1d97fa5072109a4381484f5daf5a4bfb0c1 (diff) | |
| parent | 84f25017f61d87c592bcc4519bee56e49fe66083 (diff) | |
Merge branch 'master' of https://github.com/krebscode/painload
Diffstat (limited to 'util/auto')
| -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} |