diff options
| author | Jon duSaint | 2023-07-04 17:43:31 -0700 |
|---|---|---|
| committer | Jon duSaint | 2023-07-04 17:43:31 -0700 |
| commit | d3b3b102c298a4ffece2983e3c12a0806b3733a3 (patch) | |
| tree | 860a8eebef7b76824eb962bfba20ce498608af02 /jobmon/Makefile | |
| parent | 8cceff0179daffd6a5a7502b00d1176fb17a59e2 (diff) | |
jobmon: A simple job monitor
The usual rc scripts don’t seem to restart failed jobs (there might be a way, but I haven’t found it). So, write a small job monitor that restarts jobs of interest.
Diffstat (limited to 'jobmon/Makefile')
| -rw-r--r-- | jobmon/Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/jobmon/Makefile b/jobmon/Makefile index 9fa9050..39756a3 100644 --- a/jobmon/Makefile +++ b/jobmon/Makefile @@ -1,11 +1,17 @@ # Use EXTRA_FLAGS on the command line for additional options (-g, -static, etc.) -all: netmon +all: jobmon netmon +jobmon: jobmon.c + $(CC) -Wall $(CFLAGS) $(EXTRA_FLAGS) -o $@ $< netmon: netmon.c $(CC) -Wall $(CFLAGS) $(EXTRA_FLAGS) -o $@ $< +install-jobmon: jobmon + install -m 0555 jobmon /usr/sbin/jobmon + install -m 0555 jobmon.rc /etc/rc.d/jobmon + @echo "-> Enable jobmon service manually with rcctl(8)" install-netmon: netmon install -m 0555 netmon /usr/sbin/netmon install -m 0555 netmon.rc /etc/rc.d/netmon @echo "-> Enable netmon service manually with rcctl(8)" -install: install-netmon +install: install-jobmon install-netmon clean: - rm -f netmon + rm -f jobmon netmon |