#!/bin/bash
cd interps
make >& /dev/null &
sleep 20
kill %
wait
echo $?
