#!/bin/sh

# we use this trampoline because run_tests, generated by
# configure from run_tests.in, does not have its execute bit set.

exec /bin/sh run_tests
