Don't add redundant includedir INSTALLDIR.'/extlib/'

diff --git a/scripts/commandline.inc b/scripts/commandline.inc
index d7ee1588017bbf9c35a2ace7ca2cc4f9483d6a77..2bf1f0fc36d62f8263ac54a6c8acafb2bff56b29 100644 (file)
--- 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!