make: use a makecmd option

2013-01-06 19:21:42 +01:00 · 2013-01-06 19:21:42 +01:00 · 9efc32596b
commit 9efc32596b
parent f3640a2d03
1 changed files with 3 additions and 1 deletions
--- 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