Searched refs:do_no_sync_option (Results 1 – 1 of 1) sorted by relevance
36 do_no_sync_option () { NO_SYNC=yes; } function37 register_option "--no-sync" do_no_sync_option "Do not push sysroot to device /data/local/tmp/"