From 5c9fccd3d1912cad9b1145e927073d71c913813c Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Wed, 17 Aug 2011 18:52:40 +0200 Subject: [PATCH] ahrg, really fix echo in maps makefile now --- data/maps/Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/data/maps/Makefile b/data/maps/Makefile index fb7b72036a..9a676c715c 100644 --- a/data/maps/Makefile +++ b/data/maps/Makefile @@ -10,8 +10,9 @@ $(DATADIR)/maps.google.com: $(DATADIR) FORCE wget -O $(@) http://maps.google.com/ $(PAPARAZZI_HOME)/conf/maps.xml: $(DATADIR)/maps.google.com - $(Q)echo -e "\n" > $(@) - $(Q)echo -e "" >> $(@) - $(Q)echo -e "" >> $(@) + $(Q)echo "" > $(@) + $(Q)echo "" >> $(@) + $(Q)echo "" >> $(@) + $(Q)echo "" >> $(@) FORCE: