From 0e85d02f92decbd8ebc7ecc51aa641a54cb1bb39 Mon Sep 17 00:00:00 2001
From: "Guillermo J. Rozas" <edu/mit/csail/zurich/gjr>
Date: Wed, 2 Oct 1991 21:24:43 +0000
Subject: [PATCH] Add phony target world redirecting to xmakefile.

---
 v7/src/microcode/unxutl/makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/v7/src/microcode/unxutl/makefile b/v7/src/microcode/unxutl/makefile
index 34b19f00e..0b5f5962e 100644
--- a/v7/src/microcode/unxutl/makefile
+++ b/v7/src/microcode/unxutl/makefile
@@ -1,7 +1,7 @@
 #
 # Makefile for MIT CScheme microcode.
 #
-# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/makefile,v 1.12 1991/07/24 02:25:00 cph Exp $
+# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/makefile,v 1.13 1991/10/02 21:24:43 jinx Exp $
 #
 CPP = cc -E
 MAKE = make  # BSD doesn't have it as a default.
@@ -38,6 +38,10 @@ install: xmakefile
 	$(MAKE) $(MAKEOVERRIDES) -f xmakefile ${MFLAGS} install
 .PHONY: install
 
+world: xmakefile
+	$(MAKE) $(MAKEOVERRIDES) -f xmakefile ${MFLAGS} world
+.PHONY: world
+
 # If you have a problem with cc -E here, changing
 # the definition of CPP above may fix it.
 xmakefile: ymakefile ymake.script ymake.local cf.h s.h m.h
-- 
2.25.1