gnu: microcom: Use GIT-FILE-NAME.

* gnu/packages/microcom.scm (microcom)[source]: Use GIT-FILE-NAME.
This commit is contained in:
Tobias Geerinckx-Rice 2019-12-02 18:07:19 +01:00
parent 6deab02c78
commit b73a930703
No known key found for this signature in database
GPG key ID: D889B0F018C5493C

View file

@ -34,7 +34,7 @@ (define-public microcom
(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"))))