From b4150a201c3419c8f336eba2a8b5af4fbe29603e Mon Sep 17 00:00:00 2001
From: Lennart Kats <lclkats@gmail.com>
Date: Wed, 21 Aug 2013 15:04:05 +0200
Subject: [PATCH] Don't require pre_build for basic job

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 939bc78a..95dcf964 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ build: pre_build
 	./Makefile.dryice.js bm
 
 # Minimal build: call Makefile.dryice.js only if our sources changed
-minimal: pre_build build/src/ace.js
+basic: build/src/ace.js
 
 build/src/ace.js : ${wildcard lib/*} \
                    ${wildcard lib/*/*} \