blob: 80815e842ec1f070cadc3efd6cb485de717b123c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/sh
# This script is related to the 'recvfrom_linux.ml' test.
uname="$(uname -s)"
if [ "$uname" = "Linux" ]; then
# Workaround: the tests that come after this script
# (bytecode and native) depend on stdout redirection, but
# running a script sets both of those to the empty string.
# See https://caml.inria.fr/mantis/view.php?id=7910
cat > "$ocamltest_response" <<EOF
-stdout
-stderr
EOF
exit ${TEST_PASS}
else
echo "$uname" > "$ocamltest_response"
exit ${TEST_SKIP}
fi
|
