Use "exec" when running ghc in the wrapper
authorIan Lynagh <igloo@earth.li>
Mon, 15 Sep 2008 10:02:17 +0000 (10:02 +0000)
committerIan Lynagh <igloo@earth.li>
Mon, 15 Sep 2008 10:02:17 +0000 (10:02 +0000)
ghc/ghc.wrapper

index 4b11d9e..71eae84 100644 (file)
@@ -1,3 +1,3 @@
 #!/bin/sh
 
-$executablename -B$datadir -dynload wrapped ${1+"$@"}
+exec $executablename -B$datadir -dynload wrapped ${1+"$@"}