From 9efc32596bd9fadd7c064bb028de1263c3a366a0 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Sun, 6 Jan 2013 19:21:42 +0100
Subject: [PATCH] make: use a makecmd option

---
 src/rc/make.kak | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/rc/make.kak b/src/rc/make.kak
index 796effb3..2c3d4aa5 100644
--- a/src/rc/make.kak
+++ b/src/rc/make.kak
@@ -1,7 +1,9 @@
+setg makecmd make
+
 def -shell-params make %{ %sh{
      output=$(mktemp -d -t kak-make.XXXXXXXX)/fifo
      mkfifo ${output}
-     ( make $@ >& ${output} ) >& /dev/null < /dev/null &
+     ( ${kak_opt_makecmd} $@ >& ${output} ) >& /dev/null < /dev/null &
      echo "try %{ db *make* } catch %{}
            edit -fifo ${output} *make*
            setb filetype make