Closed izgzhen closed 6 years ago
I'm confused. Are you saying Hadrian changed permissions of this file? I don't see how it could do that!
Oops, it does do that actually. I found this in build.sh
:
# By default on Linux/MacOS we build Hadrian using Cabal
chmod a+x "$root/build.cabal.sh"
(. "$root/build.cabal.sh" "$@")
I remember now: without this it was failing on CI. Perhaps, we should move this to CI scripts?
Perhaps, we should move this to CI scripts?
It sounds reasonable to me. Or we could change the permission bit once and for all.
@izgzhen Ah, so git can actually store permission bits? In this case yes, that would be a better solution. Could you send a PR?
I've reopen the issue to also fix build.sh
-- see the PR above.