diff --git a/doc/rpm-build/checkout-build-archives.php b/doc/rpm-build/checkout-build-archives.php index 0425ce6b14..e4d562fde2 100755 --- a/doc/rpm-build/checkout-build-archives.php +++ b/doc/rpm-build/checkout-build-archives.php @@ -63,11 +63,11 @@ while(($arg = array_shift($argv))) case 'run': if ($value[0] == '+') { - $config[$name] = array_unique(array_merge($config['name'],split('[ ,]+',$value))); + $config[$name] = array_unique(array_merge($config['name'],preg_split('/[ ,]+/',$value))); } elseif ($value[0] == '-') { - $config[$name] = array_diff($config['name'],split('[ ,]+',$value)); + $config[$name] = array_diff($config['name'],preg_split('/[ ,]+/',$value)); } else {