From 789dbb1e734885bd7cf5ad25f0d2f47765a13657 Mon Sep 17 00:00:00 2001 From: pep Date: Tue, 21 Jul 2020 20:48:09 +0000 Subject: attempt at merge --- search/bin/watch-index.pl | 8 -------- 1 file changed, 8 deletions(-) delete mode 100755 search/bin/watch-index.pl (limited to 'search/bin/watch-index.pl') diff --git a/search/bin/watch-index.pl b/search/bin/watch-index.pl deleted file mode 100755 index c9d950b..0000000 --- a/search/bin/watch-index.pl +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/perl - -while (1) - { - system("./build-index"); - sleep(60*60); - } - -- cgit v1.2.3-70-g09d2