+++ /dev/null
-#include <string.h>
-#include <syscall.h>
-#include "sample.inc"
-#include "tests/lib.h"
-#include "tests/main.h"
-
-void
-test_main (void)
-{
- char child_cmd[128];
- int handle;
-
- CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
-
- snprintf (child_cmd, sizeof child_cmd, "child-close %d", handle);
- msg ("wait(exec()) = %d", wait (exec (child_cmd)));
-
- check_file_handle (handle, "sample.txt", sample, sizeof sample - 1);
-}