#!/bin/sh
cd examples
make -k check-TESTS
