test/external/c-testsuite/runners/single-exec/compcert-x86_64.skip


1
2
3
4
5
6
7
8
9

#! /bin/sh

if ! test -f README.md
then
    echo "run from the base directory." >&2
    exit 1
fi

./scripts/search-tests "not ((arch-x86_64 or portable) and c99)"