From fe6a2e9f14af7286c62a1145ac1507e922ef2d36 Mon Sep 17 00:00:00 2001 From: Sarah Hoffmann Date: Sun, 2 Dec 2018 11:21:09 +0100 Subject: [PATCH] Remove server_compare from list of installed scripts This is a stand alone script and does not depend on the configured environment. --- CMakeLists.txt | 1 - utils/server_compare.php | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 utils/server_compare.php diff --git a/CMakeLists.txt b/CMakeLists.txt index b7a2caaf..19c560f7 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -109,7 +109,6 @@ set(CUSTOMSCRIPTS utils/importWikipedia.php utils/export.php utils/query.php - utils/server_compare.php utils/setup.php utils/specialphrases.php utils/update.php diff --git a/utils/server_compare.php b/utils/server_compare.php old mode 100644 new mode 100755 index f44b073e..39016d07 --- a/utils/server_compare.php +++ b/utils/server_compare.php @@ -1,3 +1,4 @@ +#!/usr/bin/php -Cq