changeset 342:073585d1d4fa

[project @ 1994-02-07 08:06:20 by jwe]
author jwe
date Mon, 07 Feb 1994 08:06:20 +0000
parents 4115f7713851
children ecb6f1e11842
files scripts/Makefile.in
diffstat 1 files changed, 5 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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)