view interps/build.sh @ 11113:aa8e4791536e

<oerjan> learn print_args_or_input Is a utility command that makes it easy to create a shell script that can be used either as a pipe or directly as a HackEgo command. Use as print_args_or_input "$@" | yourShellCode . See also shebang_args_or_input.
author HackBot
date Sat, 22 Jul 2017 00:45:19 +0000
parents 859f9b4339e6
children
line wrap: on
line source

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