diff options
Diffstat (limited to 'devel/hs-hat/files/patch-configure')
| -rw-r--r-- | devel/hs-hat/files/patch-configure | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/devel/hs-hat/files/patch-configure b/devel/hs-hat/files/patch-configure deleted file mode 100644 index df9407d19b1..00000000000 --- a/devel/hs-hat/files/patch-configure +++ /dev/null @@ -1,20 +0,0 @@ ---- configure.orig Tue Jun 18 20:12:04 2002 -+++ configure Tue Jun 18 20:12:36 2002 -@@ -385,8 +385,6 @@ - then mkdir -p $DESTDIR$BINDIR; echo ' (created)' - else echo ' (exists)' - fi -- echo " harch" -- cp script/harch $DESTDIR$BINDIR - echo " hat-graph" - cp script/hat-graph $DESTDIR$BINDIR - echo " hat-trans" -@@ -402,7 +400,7 @@ - ln $DESTDIR$BINDIR/hat-template $DESTDIR$BINDIR/$hattool - done - echo -- chmod +x $DESTDIR$BINDIR/harch $DESTDIR$BINDIR/hat-trans -+ chmod +x $DESTDIR$BINDIR/hat-trans - chmod +x $DESTDIR$BINDIR/hat-template $DESTDIR$BINDIR/hat-graph - rm $DESTDIR$BINDIR/hat-template - else |