diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-01-06 19:21:42 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-01-06 19:21:42 +0100 |
| commit | 9efc32596bd9fadd7c064bb028de1263c3a366a0 (patch) | |
| tree | 51f48dd3f73a093959979ebf5debc9cad98e523d /src | |
| parent | f3640a2d031ad6b7efcbe92327b1ba8a570e3858 (diff) | |
make: use a makecmd option
Diffstat (limited to 'src')
| -rw-r--r-- | src/rc/make.kak | 4 |
1 files changed, 3 insertions, 1 deletions
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 |