diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-12-02 18:07:19 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-12-03 01:52:45 +0100 |
| commit | b73a930703bb2792633d7ea9fc068ce669d3850f (patch) | |
| tree | 4fbaedaac5ec65601a4c74d293a498f79b92de42 /gnu/packages/microcom.scm | |
| parent | 6deab02c785abc5e89e37b9ccdab548bdf0cac1f (diff) | |
gnu: microcom: Use GIT-FILE-NAME.
* gnu/packages/microcom.scm (microcom)[source]: Use GIT-FILE-NAME.
Diffstat (limited to 'gnu/packages/microcom.scm')
| -rw-r--r-- | gnu/packages/microcom.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/microcom.scm b/gnu/packages/microcom.scm index 3a1ec1d3cb..e007046233 100644 --- a/gnu/packages/microcom.scm +++ b/gnu/packages/microcom.scm @@ -34,7 +34,7 @@ (uri (git-reference (url "https://git.pengutronix.de/git/tools/microcom.git") (commit "v2016.01.0"))) - (file-name (string-append name "-" version "-checkout")) + (file-name (git-file-name name version)) (sha256 (base32 "080ci5589bpyy5kcl51csmvpw9zysify189hw6awx69pi3cjnxly")))) |