diff options
| -rw-r--r-- | ghc/ghc.wrapper | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ghc/ghc.wrapper b/ghc/ghc.wrapper index 4b11d9e25e..71eae84738 100644 --- a/ghc/ghc.wrapper +++ b/ghc/ghc.wrapper @@ -1,3 +1,3 @@ #!/bin/sh -$executablename -B$datadir -dynload wrapped ${1+"$@"} +exec $executablename -B$datadir -dynload wrapped ${1+"$@"} |