From 5c30902de0c07e6f31d3dc8ae465575fffa0f318 Mon Sep 17 00:00:00 2001
From: Tom Payne <twpayne@gmail.com>
Date: Sun, 29 Jul 2012 14:50:48 +0200
Subject: [PATCH] Clean up Makefile

---
 Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 562bc51c91..9f45b5121c 100644
--- a/Makefile
+++ b/Makefile
@@ -41,9 +41,7 @@ serve: $(PLOVR_JAR)
 	java -jar $(PLOVR_JAR) serve *.json
 
 src/ol/ol.js: $(SRC)
-	echo "goog.provide('ol');" >$@
-	echo >>$@
-	find src/ol -name \*.js | grep -v src/ol/ol.js | xargs grep -rh ^goog.provide | sort | uniq | sed -e 's/provide/require/g' >>$@
+	( echo "goog.provide('ol');" && echo && find src/ol -name \*.js -not -path $@ | xargs grep -rh ^goog.provide | sort | uniq | sed -e 's/provide/require/g' ) > $@
 
 .PHONY: lint
 lint: