diff options
| author | Pete Fritchman <petef@FreeBSD.org> | 2001-08-29 19:36:53 +0000 |
|---|---|---|
| committer | Pete Fritchman <petef@FreeBSD.org> | 2001-08-29 19:36:53 +0000 |
| commit | 0ac2e2a51b1850b5423e9e42307a331ce8508369 (patch) | |
| tree | 67fdb946247dfa0dfe0e1d6aceffd04abf79d41b /net/unison232/files | |
| parent | e4043b9a6f4191247147ba7a87a4a4508561eb60 (diff) | |
Notes
Diffstat (limited to 'net/unison232/files')
| -rw-r--r-- | net/unison232/files/patch-aa | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/net/unison232/files/patch-aa b/net/unison232/files/patch-aa index 6c45ce1d18b1..a14c18bfa972 100644 --- a/net/unison232/files/patch-aa +++ b/net/unison232/files/patch-aa @@ -1,5 +1,5 @@ ---- Makefile.orig Mon Sep 25 19:04:31 2000 -+++ Makefile Wed Oct 25 20:48:53 2000 +--- Makefile.orig Tue Aug 28 16:27:01 2001 ++++ Makefile Wed Aug 29 09:15:09 2001 @@ -62,12 +62,12 @@ ###################################################################### # Installation @@ -13,15 +13,15 @@ cp $(NAME)$(EXEC_EXT) $(INSTALLDIR) - cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT) +# cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT) + @# If we're running at Penn, install a public version too + if [ -d /plclub/bin ]; then cp $(NAME)$(EXEC_EXT) /plclub/bin/$(NAME)-$(VERSION)$(EXEC_EXT); fi - ###################################################################### - # Demo -@@ -204,7 +204,7 @@ +@@ -231,7 +231,7 @@ tags: - -$(ETAGS) *.ml *.mli + -$(ETAGS) *.ml *.mli *.txt -all:: TAGS -+# all:: TAGS ++#all:: TAGS TAGS: $(MAKE) tags |