Don't perform permission checks for scripts named with -ghci-script (#6017)
authorSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2014 21:47:22 +0000 (21:47 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 27 Mar 2014 12:36:14 +0000 (12:36 +0000)
commita6f2c852d49313fa8acea2deb3741ab86c6ef995
tree8f3513d2e9788a37a8ca0199637d1b9dfe7ec366
parent6189c7674fc5c735db1a446d0b222369a3767369
Don't perform permission checks for scripts named with -ghci-script (#6017)

The user explicitly requested this script on the command-line, so it's
unnecessary to require that the script is also owned by the user.
Also, it is currently impossible to make a GHCi wrapper that invokes a
custom script without first making a copy of the script to circumvent
the permissions check, which seems wrong.
ghc/InteractiveUI.hs
ghc/ghc-bin.cabal.in