X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fautomake.mk;fp=src%2Flibpspp%2Fautomake.mk;h=ca8bac6b4996ec71126c423113039c7c32c2d82b;hb=6b55442545f78ac54922e1a5b080b87b2b65f28c;hp=e6ebd251e1741898fcb3b158b0098eeeca8b7884;hpb=317c8374ac805fd00048a6e2baefcdf72b9e50c2;p=pspp

diff --git a/src/libpspp/automake.mk b/src/libpspp/automake.mk
index e6ebd251e1..ca8bac6b49 100644
--- a/src/libpspp/automake.mk
+++ b/src/libpspp/automake.mk
@@ -129,4 +129,4 @@ src/libpspp/version.c: $(top_srcdir)/AUTHORS Makefile
 	$(AM_V_at)echo "const char *const authors[] = {" >> $@,tmp
 	$(AM_V_at)$(SED) -e 's/^/  \"/' -e 's/$$/\",/' $(top_srcdir)/AUTHORS >> $@,tmp
 	$(AM_V_at)echo "0 };" >> $@,tmp
-	mv $@,tmp $@
+	$(AM_V_at)mv $@,tmp $@