X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ficons%2Fautomake.mk;h=2061316651ccb55af03baeae3c05e2aabf766fdc;hb=0cd7c010e3e5c316ef0eb0317fb7f408d164679d;hp=9787a92ad45a987ab3e5077ac27baa4c60922943;hpb=b4687aafa8f27beb62b5d255ad9ed8ebc8a80ef8;p=pspp

diff --git a/src/ui/gui/icons/automake.mk b/src/ui/gui/icons/automake.mk
index 9787a92ad4..2061316651 100644
--- a/src/ui/gui/icons/automake.mk
+++ b/src/ui/gui/icons/automake.mk
@@ -62,7 +62,7 @@ if HAVE_GUI
 nodist_src_ui_gui_psppire_DATA = src/ui/gui/icons/splash.png
 
 src/ui/gui/icons/splash.png: $(top_srcdir)/src/ui/gui/icons/splash-t.png $(top_srcdir)/src/ui/gui/icons/splash-r.png Makefile
-	@case `$(AM_V_at)echo $(VERSION) | $(AM_V_at)$(SED) -e 's/[0-9][0-9]*\.[0-9]*\([0-9]\)\.[0-9][0-9]*/\1/'` in \
+	@case `echo $(VERSION) | $(SED) -e 's/[0-9][0-9]*\.[0-9]*\([0-9]\)\.[0-9][0-9]*/\1/'` in \
 	  [13579]) cp $(top_srcdir)/src/ui/gui/icons/splash-t.png $@ ; \
 	;;\
 	  *) cp $(top_srcdir)/src/ui/gui/icons/splash-r.png $@ ; \