23 lines
1.5 KiB
Plaintext
23 lines
1.5 KiB
Plaintext
# Read build script documentation https://docs.armbian.com/Developer-Guide_Build-Options/
|
|
# for detailed explanation of these options and for additional options not listed here
|
|
|
|
KERNEL_CONFIGURE="" # leave empty to select each time, set to "yes" or "no" to skip dialog prompt
|
|
CLEAN_LEVEL="" # comma-separated list of clean targets:
|
|
: # --> "make-atf" = make clean for ATF, if it is built.
|
|
: # --> "make-uboot" = make clean for uboot, if it is built.
|
|
: # --> "make-kernel" = make clean for kernel, if it is built. very slow.
|
|
: # --> "debs" = delete packages in "./output/debs"; debs are re-downloaded (if available) or re-built.
|
|
: # --> "alldebs" = delete all packages in "./output/debs",
|
|
: # --> "images" = delete "./output/images",
|
|
: # --> "cache" = delete "./output/cache",
|
|
: # --> "sources" = delete "./sources"
|
|
: # --> "oldcache" = remove old cached rootfs except for the newest 8 files
|
|
: # --> *important*: "make" by itself has disabled, since Armbian knows how to handle Make timestamping now.
|
|
|
|
# DEST_LANG="en_US.UTF-8" # Example: "sl_SI.UTF-8" Default: "en_US.UTF-8"
|
|
|
|
# advanced
|
|
INSTALL_HEADERS="" # install kernel headers package
|
|
DOWNLOAD_MIRROR="" # set to "china" to use chinese mirrors # @TODO: this needs review and test while running in mainland china
|
|
CARD_DEVICE="" # device name /dev/sdx of your SD card to burn directly to the card when done
|