diff --git a/repos/ports/recipes/pkg/vbox6-capture/runtime b/repos/ports/recipes/pkg/vbox6-capture/runtime index f87652527e..d1bf30921c 100644 --- a/repos/ports/recipes/pkg/vbox6-capture/runtime +++ b/repos/ports/recipes/pkg/vbox6-capture/runtime @@ -37,6 +37,7 @@ + diff --git a/repos/ports/recipes/pkg/vbox6/runtime b/repos/ports/recipes/pkg/vbox6/runtime index 5045d34c57..cea2713bcb 100644 --- a/repos/ports/recipes/pkg/vbox6/runtime +++ b/repos/ports/recipes/pkg/vbox6/runtime @@ -36,6 +36,7 @@ + diff --git a/repos/ports/run/vbox6_genode_usb_hid_raw.run b/repos/ports/run/vbox6_genode_usb_hid_raw.run index a91223290b..b16156b9fc 100644 --- a/repos/ports/run/vbox6_genode_usb_hid_raw.run +++ b/repos/ports/run/vbox6_genode_usb_hid_raw.run @@ -170,6 +170,7 @@ install_config { + diff --git a/repos/ports/run/virtualbox6.run b/repos/ports/run/virtualbox6.run index 76fa10e1e5..88940eda6c 100644 --- a/repos/ports/run/virtualbox6.run +++ b/repos/ports/run/virtualbox6.run @@ -253,6 +253,7 @@ append_if [expr $use_overlay] config { } append config { +