1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 171c1c5..9246450 100644
--- a/Makefile
+++ b/Makefile
@@ -46,4 +46,5 @@ install-submission-tools: tools/boca-submit-run-root-wrapper
 	install tools/cron-logroot $(DESTDIR)/etc/cron.d/
 	install tools/boca-submit-run-root-wrapper $(DESTDIR)/usr/bin/
 	install tools/boca-outmanage $(DESTDIR)/usr/sbin/
+	install tools/boca-checkinternet $(DESTDIR)/usr/sbin/
 	chmod 4555 $(DESTDIR)/usr/bin/boca-submit-run-root-wrapper