From 1309bbe0117b68f795f14f284a8293e3986fe02b Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Wed, 26 Dec 2012 13:47:11 +0000
Subject: Lazily pull the sources when building

If no sources exists pull, otherwise leave it
alone.
---
(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 558b056..60cb7e7 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ TIME=time -f "\n=== time ===\n\nreal\t%e\nuser\t%U\nsys\t%S\n"
 
 .PHONY: all
 
-all: pull build
+all: build
 
 include Makefile.config
 include Makefile.commands
--
cgit v0.9.1