projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b520442) | patch
Use realpath instead of custom script
authorIlias Tsitsimpis <iliastsi@debian.org>
Mon, 17 Feb 2025 08:44:23 +0000 (09:44 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Mon, 17 Feb 2025 08:44:23 +0000 (09:44 +0100)
commit88750b216970535ab326279e463045abec95414a
tree9790a1cdde291726220870c181c47143903ea132tree | snapshot
parentb5204429f4cd006df05afbb51110f66310668998commit | diff
Use realpath instead of custom script

Use realpath instead of the custom script, which is broken. As an example,

  $ ./mk/relpath.sh /usr/lib/ghc/lib /usr/lib/ghc-doc
  ..-doc
  $ realpath --relative-to=/usr/lib/ghc/lib /usr/lib/ghc-doc
  ../../ghc-doc

Gbp-Pq: Name hadrian-relpath
hadrian/bindist/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.