android: understand the disk images

build-android

@@ -16,6 +16,10 @@ Download and build Android AOSP.
 https://github.com/cirosantilli/linux-kernel-module-cheat#android
 '''
         )
+        self.add_argument(
+            '--extra-args',
+            default='',
+        )
         self.add_argument(
             'targets',
             default=['build'],
@@ -59,12 +63,10 @@ https://github.com/cirosantilli/linux-kernel-module-cheat#android
         if 'build' in self.env['targets']:
             # The crappy android build system requires
             # https://stackoverflow.com/questions/7040592/calling-the-source-command-from-subprocess-popen
-            self.sh.run_cmd('''\
-{}
-USE_CCACHE=1 make -j {}
-'''.format(
+            self.sh.run_cmd('{}USE_CCACHE=1 make -j {} {}'.format(
                     self.env['android_shell_setup'],
-                    self.env['nproc']
+                    self.env['nproc'],
+                    self.env['extra_args']
                 ),
                 cwd=self.env['android_dir'],
                 executable=shutil.which('bash'),