view interps/build.sh @ 9285:8320c9c4620f

<oerjan> learn Umlaut is German for "hum aloud", an important feature of the German language. It is indicated by putting two dots over the vowel of the syllable.
author HackBot
date Sat, 15 Oct 2016 00:04:47 +0000
parents 859f9b4339e6
children
line wrap: on
line source

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