denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

wg_fetchurl.run: create data file early (fix linux)

Browse Source
This commit is contained in:
Christian Helmuth
2024-07-17 13:24:54 +02:00
parent c0f6d9ba7e
commit 62061c5596
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/dde_linux/run/wg_fetchurl.run
View File

@@ -367,6 +367,8 @@ append targets {
core init timer lib/ld server/nic_router server/report_rom lib/curl
app/fetchurl }
exec head -c $file_size_in_bytes < /dev/urandom > bin/wg_fetchurl.data
set boot_modules { }
if $linux {
append targets { server/lx_fs }
@@ -386,8 +388,6 @@ if $linux {
build $targets
exec head -c $file_size_in_bytes < /dev/urandom > bin/wg_fetchurl.data
build_boot_image [list {*}[build_artifacts] {*}$boot_modules]
append qemu_args "-nographic "