From: Jim Meyering <jim@meyering.net>
Date: Sat, 8 Apr 2000 06:31:38 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fb12ff0b24aed3ebf1430ecb4f09b59235983322;p=pspp

.
---

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 7e0e1996ba..9c3e4a564c 100644
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -814,8 +814,8 @@ uninstall-local: all-local
 	fi
 
 charset.alias: config.charset
-	$(SHELL) $(srcdir)/config.charset '@host@' > $@-t
-	mv $@-t $@
+	$(SHELL) $(srcdir)/config.charset '@host@' > t-$@
+	mv t-$@ $@
 .sin.sed:
 	sed -e '/^#/d' -e 's/@''PACKAGE''@/@PACKAGE@/g' $< > $@-t
 	mv $@-t $@