Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: [PATCH] Update make completion with gnu options

X-seq: zsh-workers 31513
From: Peter Stephenson <p.stephenson@xxxxxxxxxxx>
To: Nick Cross <zsh@xxxxxxxxx>, zsh-workers@xxxxxxx
Subject: Re: [PATCH] Update make completion with gnu options
Date: Fri, 12 Jul 2013 09:38:37 +0100
In-reply-to: <51DFA641.6080204@goots.org>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
Organization: Samsung Cambridge Solution Centre
References: <51DFA641.6080204@goots.org>

On Fri, 12 Jul 2013 07:46:25 +0100
Nick Cross <zsh@xxxxxxxxx> wrote:
> Here are the additional commands for make. Thanks to Bart Schaefer who
> helped with correcting the make completion. I *think* its correct now
> ;-)

Thanks, I've committed it.

pws

References:
- [PATCH] Update make completion with gnu options
  - From: Nick Cross

Messages sorted by: Reverse Date, Date, Thread, Author