diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 15:58:01 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-10 16:02:51 +0200 |
| commit | 92587f8ed6b5217cf02cfdaf208a78491729da15 (patch) | |
| tree | 12533d72798957f706de48e3c7d956b56df41260 | |
| parent | 929510a45daf622213d46bfb97b7c37b8501625c (diff) | |
| download | guix-92587f8ed6b5217cf02cfdaf208a78491729da15.tar.gz | |
lint: 'check-patch-file-names' restricts to shorter file names.
* guix/lint.scm (check-patch-file-names): Increase MARGIN.
| -rw-r--r-- | guix/lint.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/lint.scm b/guix/lint.scm index bda5c0cd77..e192f292a4 100644 --- a/guix/lint.scm +++ b/guix/lint.scm @@ -686,7 +686,7 @@ patch could not be found." ;; Check whether we're reaching tar's maximum file name length. (let ((prefix (string-length (%distro-directory))) - (margin (string-length "guix-0.13.0-10-123456789/")) + (margin (string-length "guix-2.0.0rc3-10000-1234567890/")) (max 99)) (filter-map (match-lambda ((? string? patch) |