Remove timestamp from image.elf.gz

Issue #4956
This commit is contained in:
Christian Helmuth 2023-07-04 13:35:25 +02:00 committed by Norman Feske
parent 2fb0bfdf85
commit fb1d66b254
2 changed files with 2 additions and 2 deletions

View File

@ -107,7 +107,7 @@ proc run_boot_dir {binaries} {
# #
# Compress Genode image, to be uncompressed by GRUB # Compress Genode image, to be uncompressed by GRUB
# #
exec gzip [run_dir]/boot/image.elf exec gzip -n [run_dir]/boot/image.elf
if {[have_include "image/disk"]} { if {[have_include "image/disk"]} {
install_disk_bootloader_to_run_dir install_disk_bootloader_to_run_dir

View File

@ -103,7 +103,7 @@ proc run_boot_dir {binaries} {
# #
# Compress Genode image, to be uncompressed by GRUB # Compress Genode image, to be uncompressed by GRUB
# #
exec gzip [run_dir]/boot/image.elf exec gzip -n [run_dir]/boot/image.elf
if {[have_include "image/disk"]} { if {[have_include "image/disk"]} {
install_disk_bootloader_to_run_dir install_disk_bootloader_to_run_dir