Skip to content

Instantly share code, notes, and snippets.

@satoru-takeuchi
Created June 6, 2017 09:49
Show Gist options
  • Star 3 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save satoru-takeuchi/f8c4131ec5bb3fa7af467b06d36473e4 to your computer and use it in GitHub Desktop.
Save satoru-takeuchi/f8c4131ec5bb3fa7af467b06d36473e4 to your computer and use it in GitHub Desktop.
#!/bin/bash
export LANG=C
for ((i=0;1;i++)) ; do
if make -j16 >/dev/null 2>>log.txt ; then
echo "$i: $(date): OK" >>log.txt
else
echo "$i: $(date): NG" >>log.txt
fi
make clean >/dev/null 2>>log.txt
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment