Searched refs:BOOT_UNZIP_DIR (Results 1 – 1 of 1) sorted by relevance
81 BOOT_UNZIP_DIR="$WORK_DIR"/boot-dex82 ART_JARS="$BOOT_UNZIP_DIR"/dex_artjars_input83 BOOT_JARS="$BOOT_UNZIP_DIR"/dex_bootjars_input84 SYSTEM_SERVER_JAR="$BOOT_UNZIP_DIR"/system/framework/services.jar86 unzip -o "$BOOT_ZIP" -d "$BOOT_UNZIP_DIR"