Makefile
changeset 15518 4fed4c1bbc29
parent 15064 049338f0fb4e
child 15903 bc0e6cd9d760
--- a/Makefile	Thu Jan 31 10:10:34 2013 +0100
+++ b/Makefile	Thu Jan 31 10:22:25 2013 -0800
@@ -26,6 +26,11 @@
 # If NEWBUILD is defined, use the new build-infra Makefiles and configure.
 #     See NewMakefile.gmk for more information.
 
+# If not specified, select what the default build is
+ifndef NEWBUILD
+  NEWBUILD=true
+endif
+
 ifeq ($(NEWBUILD),true)
 
   # The new top level Makefile