diff --git a/install.php b/install.php index 2cbf8e3b1b97917f5c8bfa66cffa2082c54266fb..f1f7b19b16e8ffa8c90c9cb0658237770f593619 100644 --- a/install.php +++ b/install.php @@ -32,7 +32,7 @@ $basePath = '/vufind'; echo "VuFind has been found in {$baseDir}.\n\n"; -if (!isset($argv[1]) || $argv[1] != '--use-defaults') { +if (!isset($argv[1]) || !in_array('--use-defaults', $argv)) { // Get override directory path: while (true) { $overrideDirInput = getInput(