08 Aug 2013
Automatically run make when a file changes
(Update 24 Mar 2024: restart in case of an error.)
Really simple: do a makewatch [target]
to re-run
make
with the supplied [target] when any files relevant to
that target change.
Andrew Cowie has written something
similar. The main thing that this one does differently is to ask
make
which files matter to it, instead of doing an
inotifywatch on the whole directory. Comments and suggestions
welcome.