diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build/config | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/scripts/build/config b/scripts/build/config index 3c62d2212..f8fd5ff89 100755 --- a/scripts/build/config +++ b/scripts/build/config @@ -119,6 +119,7 @@ USAGE="${PROGRAM} [--apt apt|apt-get|aptitude]\n\ \t [--system live|normal]\n\ \t [--uefi-secure-boot auto|enable|disable]\n\ \t [--updates true|false]\n\ +\t [--utc-time true|false]\n\ \t [--validate]\n\ \t [--verbose]\n\ \t [--win32-loader true|false]\n\ @@ -166,7 +167,7 @@ Local_arguments () quiet, security:,source:,source-images:,swap-file-path:,swap-file-size:,system:, tasksel:, - uefi-secure-boot:,updates:,usage, + uefi-secure-boot:,updates:,utc-time:,usage, validate,verbose,version, win32-loader:, zsync:" @@ -792,6 +793,11 @@ Local_arguments () shift 2 ;; + --utc-time) + LB_UTC_TIME="${2}" + shift 2 + ;; + --win32-loader) LB_WIN32_LOADER="${2}" shift 2 @@ -1012,6 +1018,9 @@ DEBOOTSTRAP_SCRIPT="${DEBOOTSTRAP_SCRIPT}" # Set options to use with gzip GZIP_OPTIONS="${GZIP_OPTIONS}" +# Enable UTC timestamps +LB_UTC_TIME="${LB_UTC_TIME}" + # live-build options # Enable breakpoints |