Don't perform permission checks for scripts named with -ghci-script (#6017)
[ghc.git] / ghc /
drwxr-xr-x   ..
-rw-r--r-- 13677 GhciMonad.hs
-rw-r--r-- 7301 GhciTags.hs
-rw-r--r-- 123929 InteractiveUI.hs
-rw-r--r-- 32999 Main.hs
-rw-r--r-- 491 Makefile
-rw-r--r-- 1480 ghc-bin.cabal.in
-rw-r--r-- 93 ghc-cross.wrapper
-rw-r--r-- 6299 ghc.mk
-rw-r--r-- 45 ghc.wrapper
-rw-r--r-- 1614 hschooks.c