diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-02-21 05:05:56 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-02-21 15:02:47 +0100 |
| commit | 20e73f5b58d0850f21d7b2391edae546a31c9023 (patch) | |
| tree | 522fb5eb3ac595f1ac7dd9600e52697b4d2a53ea /gnu/packages | |
| parent | 219ec95c90e047ee0cd35c83fb8e505ef426cff9 (diff) | |
gnu: shflags: Set source file name.
* gnu/packages/version-control.scm (shflags)[source]: Use a meaningful
FILE-NAME.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/version-control.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/version-control.scm b/gnu/packages/version-control.scm index 75160c3376..4b99592a59 100644 --- a/gnu/packages/version-control.scm +++ b/gnu/packages/version-control.scm @@ -641,6 +641,7 @@ default) of the repository.") (method url-fetch) (uri (string-append "https://github.com/kward/shflags/archive/v" version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) (sha256 (base32 "0zxw12haylaq60a335xlqcs4afw2zrgwqymmpw0m21r51w6irdmr")))) |