From b78a96025266ab36f41452333f2de0bbccfccbe0 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 2 Dec 2019 18:04:40 +0100
Subject: [PATCH] Remove libc test

The test-libc binary is not published by Genode Labs.
---
 tests/default.nix |  1 -
 tests/libc.nix    | 23 -----------------------
 2 files changed, 24 deletions(-)
 delete mode 100644 tests/libc.nix

diff --git a/tests/default.nix b/tests/default.nix
index 905a2ab..88fbf58 100644
--- a/tests/default.nix
+++ b/tests/default.nix
@@ -5,7 +5,6 @@
 let
   tests = call: {
     fs_report = call ./fs_report.nix { };
-    libc = call ./libc.nix { };
     log = call ./log.nix { };
     signal = call ./signal.nix { };
     # solo5 = call ./solo5 { };
diff --git a/tests/libc.nix b/tests/libc.nix
deleted file mode 100644
index fef28b5..0000000
--- a/tests/libc.nix
+++ /dev/null
@@ -1,23 +0,0 @@
-{ testEnv, pkgs, depot }:
-with pkgs;
-
-testEnv.mkTest rec {
-  name = "libc";
-  meta.maintainers = with pkgs.stdenv.lib.maintainers; [ ehmry ];
-
-  testConfig = testEnv.lib.renderDhallInit ./libc.dhall "{=}";
-
-  bootModules = {
-    "libc.lib.so" = "${depot.libc}/lib/libc.lib.so";
-    "libm.lib.so" = "${depot.libc}/lib/libm.lib.so";
-    "posix.lib.so" = "${depot.posix}/lib/posix.lib.so";
-    "test-libc" = "${depot.test-libc}/bin/test-libc";
-    "vfs.lib.so" = "${os}/lib/vfs.lib.so";
-  };
-
-  qemuMem = 384;
-
-  testScript = ''
-    run_genode_until "child .* exited with exit value 0.*\n" 30
-  '';
-}