[m-dev.] trivial diff: fix syntax error in Mmakefile
Fergus Henderson
fjh at cs.mu.OZ.AU
Mon May 29 12:46:34 AEST 2000
Estimated hours taken: 0.1
Mmakefile:
Fix a syntax error in my last change:
I added a comment in the wrong place.
Workspace: /home/pgrad/fjh/ws/hg
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.53
diff -u -d -u -u -4 -r1.53 Mmakefile
--- Mmakefile 2000/05/25 16:00:27 1.53
+++ Mmakefile 2000/05/29 02:43:42
@@ -404,20 +404,20 @@
cd trace && { mv tmp_dir/* . ; rmdir tmp_dir; true; }
.PHONY: install_split_library
install_split_library: scripts dep_library
- cd library && \
- rm -rf tmp_dir && \
- mkdir tmp_dir && \
- { mv -f *.dir *.dep *.h *.c *.o *.pic_o *.a *.so \
- Mercury/cs/*.c Mercury/os/*.o tmp_dir || true; } && \
#
# Use the newly installed compiler to build the libraries
# in various different grades. We need to override MC=mmc
# so that we use the mmc from the scripts directory, which
# runs the newly installed compiler, rather than using the
# bootstrap compiler.
#
+ cd library && \
+ rm -rf tmp_dir && \
+ mkdir tmp_dir && \
+ { mv -f *.dir *.dep *.h *.c *.o *.pic_o *.a *.so \
+ Mercury/cs/*.c Mercury/os/*.o tmp_dir || true; } && \
for grade in $(GRADE) $(LIBGRADES); do \
$(SUBDIR_MMAKE) MC=mmc GRADE=$$grade depend && \
$(SUBDIR_MMAKE) MC=mmc GRADE=$$grade install_split_library || \
{ scripts/mercury_cleanup_install; exit 1; }; \
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list