20 lines
493 B
C
20 lines
493 B
C
|
/* Tries to open the same file twice,
|
||
|
|
which must succeed and must return a different file descriptor
|
||
|
|
in each case. */
|
||
|
|
|
||
|
|
#include <syscall.h>
|
||
|
|
#include "tests/lib.h"
|
||
|
|
#include "tests/main.h"
|
||
|
|
|
||
|
|
void
|
||
|
|
test_main (void)
|
||
|
|
{
|
||
|
|
int h1 = open ("sample.txt");
|
||
|
|
int h2 = open ("sample.txt");
|
||
|
|
|
||
|
|
CHECK ((h1 = open ("sample.txt")) > 1, "open \"sample.txt\" once");
|
||
|
|
CHECK ((h2 = open ("sample.txt")) > 1, "open \"sample.txt\" again");
|
||
|
|
if (h1 == h2)
|
||
|
|
fail ("open() returned %d both times", h1);
|
||
|
|
}
|