# HG changeset patch
# User Rik <octave@nomad.inbox5.com>
# Date 1307887302 25200
# Node ID e037601fa4d7cad7632435bf9cb31aae5e6f7f9f
# Parent  dd9b46dff1ac27b5ea932c3095c39bad61da757c
maint: Change .gdbinit Makefile.am rule to be silent

* Makefile.am: Use @ to run .gdbinit silently

diff -r dd9b46dff1ac -r e037601fa4d7 Makefile.am
--- a/Makefile.am	Sun Jun 12 06:50:06 2011 -0700
+++ b/Makefile.am	Sun Jun 12 07:01:42 2011 -0700
@@ -110,9 +110,10 @@
 	chmod a+rx "$@"
 
 .gdbinit: etc/gdbinit
-	if [ -f .gdbinit ]; then \
+	@if [ -f .gdbinit ]; then \
 	  echo "refusing to overwrite .gdbinit with newer version from $<" 1>&2; \
 	else \
+	  echo "Installing .gdbinit from version at $<" ; \
 	  cp $< $@; \
 	fi