#!/bin/sh

cd testing
./RUNTESTS