# HG changeset patch
# User jwe
# Date 760608380 0
# Node ID 073585d1d4fa181eb2d79abf23bb6b4278e07a1e
# Parent  4115f7713851251b7a6ad5542af08107ee06ada0
[project @ 1994-02-07 08:06:20 by jwe]

diff -r 4115f7713851 -r 073585d1d4fa scripts/Makefile.in
--- a/scripts/Makefile.in	Mon Feb 07 08:00:18 1994 +0000
+++ b/scripts/Makefile.in	Mon Feb 07 08:06:20 1994 +0000
@@ -24,13 +24,15 @@
 .PHONY: all
 
 computer.m: computer.in
+	rm -f computer.m
 	if test "$(target_host_type)" = unknown ; then \
 	  sed -e "s/%target_host_type%/Hi Dave, I'm a HAL-9000/" \
-	    $(srcdir)/computer.in > computer.m ; \
+	    $(srcdir)/computer.in > computer.t ; \
 	else \
 	  sed -e "s/%target_host_type%/$(target_host_type)/" \
-	    $(srcdir)/computer.in > computer.m ; \
+	    $(srcdir)/computer.in > computer.t ; \
 	fi
+	mv computer.t computer.m
 
 check: all
 .PHONY: check
@@ -51,7 +53,7 @@
 .PHONY: uninstall
 
 clean:
-	rm -f computer.m
+	rm -f computer.m computer.t
 .PHONY: clean
 
 tags: $(SOURCES)