diff options
Diffstat (limited to 'devel/hs-hat/files/extra-patch-configure')
| -rw-r--r-- | devel/hs-hat/files/extra-patch-configure | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/devel/hs-hat/files/extra-patch-configure b/devel/hs-hat/files/extra-patch-configure new file mode 100644 index 000000000000..df9407d19b10 --- /dev/null +++ b/devel/hs-hat/files/extra-patch-configure @@ -0,0 +1,20 @@ +--- 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 |