Allow disabling page-flipping.

Some devices have low-level bugs in their page-flip.

Disabling it at this level gives us more flexibility
than trying to control it elsewhere.

Bug: 3097357
Change-Id: Icc6ae172264e453bec0680e74a497a2b24299c4a
diff --git a/modules/gralloc/Android.mk b/modules/gralloc/Android.mk
index 8946fac..ac09e5a 100644
--- a/modules/gralloc/Android.mk
+++ b/modules/gralloc/Android.mk
@@ -29,4 +29,8 @@
 	
 LOCAL_MODULE := gralloc.default
 LOCAL_CFLAGS:= -DLOG_TAG=\"gralloc\"
+ifeq ($(BOARD_NO_PAGE_FLIPPING),true)
+LOCAL_CFLAGS += -DNO_PAGE_FLIPPING
+endif
+
 include $(BUILD_SHARED_LIBRARY)