From 1ac296fea30a351b6dea1f0b5a74e7dbabdad8e7 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Fri, 28 Apr 2023 13:22:54 +0100
Subject: [PATCH] Fix use of lib.getErisMainProgram in Bash test

---
 tests/bash.nix | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/tests/bash.nix b/tests/bash.nix
index f5d994c..0c603d9 100644
--- a/tests/bash.nix
+++ b/tests/bash.nix
@@ -5,8 +5,7 @@
     in {
       genode.init.children.bash = let
         extraErisInputs' = with pkgs.genodePackages; {
-          bash =
-            lib.getErisMainProgram "bash" (pkgs.bash // { pname = "bash"; });
+          bash = lib.getErisMainProgram (pkgs.bash // { pname = "bash"; });
           cached_fs_rom = lib.getErisMainProgram cached_fs_rom;
           vfs = lib.getErisMainProgram vfs;
           vfs_pipe = lib.getErisLib "vfs_pipe.lib.so" vfs_pipe;
@@ -22,7 +21,13 @@
         package = pkgs.genodePackages.init;
         extraErisInputs = builtins.attrValues extraErisInputs';
         configFile = pkgs.writeText "bash.child.dhall" ''
-          ${./bash.dhall} ${toDhall params}
+          ${./bash.dhall} {
+            , bash = "${pkgs.bash}"
+            , coreutils = "${pkgs.coreutils}"
+            , cached_fs_rom = ${extraErisInputs'.cached_fs_rom.cap}
+            , vfs = ${extraErisInputs'.vfs.cap}
+            , vfs_pipe = ${extraErisInputs'.vfs_pipe.cap}
+            }
         '';
         extraInputs = with pkgs.genodePackages; [ pkgs.bash libc posix ];
       };