commit 6f50aa39e741a1d1f3081665d0b7f8d56b7b793c
author Vladimir Chtchetkine <vchtchetkine@google.com> Thu Apr 26 08:20:18 2012 -0700
committer Vladimir Chtchetkine <vchtchetkine@google.com> Mon Apr 30 07:09:45 2012 -0700
tree e53c21b1ac6ebe3215c906d0958273e3aecf68ee
parent 7756be82baf16d1c9bb65d2f6a9906afb222e0ca

Add an option to set custom size for cache partition

Change-Id: I1be43697ee04f46c5839c4d23e461d54eefc450f

android/main.c

diff --git a/android/main.c b/android/main.c
index 51d481c..d9d2274 100644
--- a/android/main.c
+++ b/android/main.c
@@ -723,6 +723,18 @@
         }
     }
 
+    if (hw->disk_cachePartition_path && opts->cache_size) {
+        /* Set cache partition size per user options. */
+        char*  end;
+        long   sizeMB = strtol(opts->cache_size, &end, 0);
+
+        if (sizeMB < 0 || *end != 0) {
+            derror( "-cache-size must be followed by a positive integer" );
+            exit(1);
+        }
+        hw->disk_cachePartition_size = (uint64_t) sizeMB * ONE_MB;
+    }
+
     /** SD CARD PARTITION */
 
     if (!hw->hw_sdCard) {