diff options
Diffstat (limited to '')
| -rw-r--r-- | devel/hat/files/patch-script::confhat | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/devel/hat/files/patch-script::confhat b/devel/hat/files/patch-script::confhat new file mode 100644 index 000000000000..b117588b0dfb --- /dev/null +++ b/devel/hat/files/patch-script::confhat @@ -0,0 +1,9 @@ +--- script/confhat.orig Wed Mar 20 12:03:42 2002 ++++ script/confhat Wed Mar 20 12:35:43 2002 +@@ -14,5 +14,5 @@ + + cp -p lib/$MACHINE/libHShat.a $GHCLIBDIR + cp -p lib/hat/*.hi lib/hat/*.hx $GHCINCDIR/hat +-ghc-pkg --remove-package=hat || /bin/true ++ghc-pkg --remove-package=hat || /usr/bin/true + ghc-pkg --add-package <lib/hat/hat-package.conf |