#!/bin/sh

make -k ptest