Skip to content

Instantly share code, notes, and snippets.

@kaid
Created September 28, 2016 07:57
Show Gist options
  • Save kaid/6f3a3ba24a60407a348ea6574183d09f to your computer and use it in GitHub Desktop.
Save kaid/6f3a3ba24a60407a348ea6574183d09f to your computer and use it in GitHub Desktop.
mkr() {
local ret=0
local out
while [[ $ret -ne 127 ]] do
out=$(make)
if [[ $out != *"Nothing to be done"* ]] then
echo $out
fi
ret=$?
sleep 4
done
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment