view interps/build.sh @ 10694:45bc9fc3b680

<rdococ> le//rn nvert//To nvert something is to revert it back to its previous form, while recording the reversion as a conversion in itself.
author HackBot
date Sun, 16 Apr 2017 02:13:23 +0000
parents 859f9b4339e6
children
line wrap: on
line source

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