Makefile
changeset 15064 049338f0fb4e
parent 13697 5262b00bc10c
child 15903 bc0e6cd9d760
--- a/Makefile	Fri Jan 04 22:43:13 2013 +0100
+++ b/Makefile	Fri Jan 04 21:04:03 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