summaryrefslogtreecommitdiffstats
path: root/util
diff options
context:
space:
mode:
Diffstat (limited to 'util')
-rw-r--r--util/auto/krebs2
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}