diff options
Diffstat (limited to 'ocaml-binary-annot/config/auto-aux/runtest')
| -rwxr-xr-x | ocaml-binary-annot/config/auto-aux/runtest | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ocaml-binary-annot/config/auto-aux/runtest b/ocaml-binary-annot/config/auto-aux/runtest new file mode 100755 index 0000000000..ce65bd07f1 --- /dev/null +++ b/ocaml-binary-annot/config/auto-aux/runtest @@ -0,0 +1,8 @@ +#!/bin/sh +if test "$verbose" = yes; then +echo "runtest: $cc -o tst $* $cclibs" >&2 +$cc -o tst $* $cclibs || exit 100 +else +$cc -o tst $* $cclibs 2> /dev/null || exit 100 +fi +exec ./tst |