From 31d8069779357fbcadcaf6a0852980160131f0a4 Mon Sep 17 00:00:00 2001
From: Mikael Nordfeldth <mmn@hethane.se>
Date: Sun, 9 Mar 2014 22:11:08 +0100
Subject: [PATCH] Don't add redundant includedir INSTALLDIR.'/extlib/'

---
 scripts/commandline.inc | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/scripts/commandline.inc b/scripts/commandline.inc
index d7ee158801..2bf1f0fc36 100644
--- a/scripts/commandline.inc
+++ b/scripts/commandline.inc
@@ -36,13 +36,7 @@ ini_set("max_input_time", "0");
 set_time_limit(0);
 mb_internal_encoding('UTF-8');
 
-// Add extlib to our path so we can get Console_Getopt
-
-$_extra_path = array(INSTALLDIR.'/extlib/');
-
-set_include_path(implode(PATH_SEPARATOR, $_extra_path) . PATH_SEPARATOR . get_include_path());
-
-require_once 'Console/Getopt.php';
+require_once INSTALLDIR . '/extlib/Console/Getopt.php';
 
 // Note: $shortoptions and $longoptions should be pre-defined!
 
-- 
2.39.2