Skip to content

Instantly share code, notes, and snippets.

@f0i

f0i/makefile

Last active May 21, 2019 03:33
Show Gist options
  • Star 2 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save f0i/4484955 to your computer and use it in GitHub Desktop.
Save f0i/4484955 to your computer and use it in GitHub Desktop.
Download ZIP
Make task to watch file system changes and rebuild
Raw
makefile
all:
# do something
# watch requires inotify-tools
watch:
while true; \
do \
inotifywait ./ || exit && make all; \
sleep 0.5; \
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment