diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-02-28 00:01:53 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-02-28 00:01:53 +0100 |
commit | a74da6b015f0c10534dd90186d841a720d5db7cd (patch) | |
tree | a2177aa80ada46d379844f6dec50757d1b3cff90 | |
parent | 65f7c35d02175806f676b8e130236dd3e6c8ec60 (diff) | |
download | gnu-guix-a74da6b015f0c10534dd90186d841a720d5db7cd.tar gnu-guix-a74da6b015f0c10534dd90186d841a720d5db7cd.tar.gz |
gnu-maintenance: Adjust 'latest-release' to filter Bash's patch directories.
* guix/gnu-maintenance.scm (latest-release)[patch-directory-name?]: New
procedure.
<subdirs>: Use it to filter out Bash-like patch directories.
-rw-r--r-- | guix/gnu-maintenance.scm | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/guix/gnu-maintenance.scm b/guix/gnu-maintenance.scm index 98432a69ce..14195da7ba 100644 --- a/guix/gnu-maintenance.scm +++ b/guix/gnu-maintenance.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2010, 2011, 2012, 2013 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2010, 2011, 2012, 2013, 2014 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2012, 2013 Nikita Karetnikov <nikita@karetnikov.org> ;;; ;;; This file is part of GNU Guix. @@ -275,6 +275,10 @@ open (resp. close) FTP connections; this can be useful to reuse connections." (define contains-digit? (cut string-any char-set:digit <>)) + (define patch-directory-name? + ;; Return #t for patch directory names such as 'bash-4.2-patches'. + (cut string-suffix? "patches" <>)) + (let-values (((server directory) (ftp-server/directory project))) (define conn (ftp-open server)) @@ -284,6 +288,9 @@ open (resp. close) FTP connections; this can be useful to reuse connections." ;; Filter out sub-directories that do not contain digits---e.g., ;; /gnuzilla/lang and /gnupg/patches. (subdirs (filter-map (match-lambda + (((? patch-directory-name? dir) + 'directory . _) + #f) (((? contains-digit? dir) 'directory . _) dir) (_ #f)) |