[m-rev.] trivial diff: fix bindist target
Julien Fischer
juliensf at csse.unimelb.edu.au
Thu Aug 14 01:04:43 AEST 2008
Estimated hours taken: 0.1
Branches: main
bindist/Mmakefile:
bindist/bindist.Makefile.in:
Delete references to the mercury_cleanup_install script.
It was deleted earlier this year.
Julien.
Index: bindist/Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/bindist/Mmakefile,v
retrieving revision 1.41
diff -u -r1.41 Mmakefile
--- bindist/Mmakefile 26 Apr 2006 05:43:41 -0000 1.41
+++ bindist/Mmakefile 13 Aug 2008 14:55:03 -0000
@@ -24,8 +24,7 @@
$(INSTALL_PREFIX)/bin/mdemangle$(EXT_FOR_EXE) \
$(INSTALL_PREFIX)/bin/mtags \
$(INSTALL_PREFIX)/bin/mprof_merge_runs \
- $(INSTALL_PREFIX)/bin/vpath_find \
- $(INSTALL_PREFIX)/bin/mercury_cleanup_install
+ $(INSTALL_PREFIX)/bin/vpath_find
README_ETC = ../COPYING ../COPYING.LIB ../HISTORY ../LIMITATIONS \
../NEWS ../RELEASE_NOTES ../BUGS ../WORK_IN_PROGRESS \
Index: bindist/bindist.Makefile.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/bindist/bindist.Makefile.in,v
retrieving revision 1.35
diff -u -r1.35 bindist.Makefile.in
--- bindist/bindist.Makefile.in 4 Jun 2007 09:17:12 -0000 1.35
+++ bindist/bindist.Makefile.in 13 Aug 2008 14:55:21 -0000
@@ -46,8 +46,7 @@
# Any miscellaneous scripts and utilities not processed by configure
UTILS = $(UTIL_PROGFILENAMES) util/mtags \
- util/mprof_merge_runs util/vpath_find \
- util/mercury_cleanup_install
+ util/mprof_merge_runs util/vpath_find
#-----------------------------------------------------------------------------#
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list