[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12201: 24.1; rgrep ignores directories matching grep-find-ignored-di
From: |
Eli Zaretskii |
Subject: |
bug#12201: 24.1; rgrep ignores directories matching grep-find-ignored-directories |
Date: |
Tue, 14 Aug 2012 21:07:47 +0300 |
> Resent-Sender: help-debbugs@gnu.org
> From: Tom Tromey <tromey@redhat.com>
> Date: Tue, 14 Aug 2012 09:52:53 -0600
>
> --- lisp/progmodes/grep.el 2012-04-18 06:04:51 +0000
> +++ lisp/progmodes/grep.el 2012-08-14 15:51:49 +0000
> @@ -1040,7 +1040,7 @@
> " -o -name ")
> " "
> (shell-quote-argument ")")
> - " -prune -o "))))))
> + " -type f prune -o "))))))
^^^^^
Shouldn't that be "-prune"?