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}