Home
last modified time | relevance | path

Searched refs:commandLineOptions (Results 1 – 2 of 2) sorted by relevance

/PHP-7.2/scripts/dev/generate-phpt/src/setup/
H A DgtOptionalSections.php15 public function setOptions($commandLineOptions) { argument
16 if($commandLineOptions->hasOption('s')) {
17 $options = explode(':', $commandLineOptions->getOption('s'));
28 if($commandLineOptions->hasOption('k')) {
29 $this->skipifKey = $commandLineOptions->getOption('k');
32 if($commandLineOptions->hasOption('x')) {
33 $this->skipifExt = $commandLineOptions->getOption('x');
/PHP-7.2/scripts/dev/
H A Dgenerate-phpt.phar694 public function setOptions($commandLineOptions) {
695 if($commandLineOptions->hasOption('s')) {
696 $options = explode(':', $commandLineOptions->getOption('s'));
707 if($commandLineOptions->hasOption('k')) {
708 $this->skipifKey = $commandLineOptions->getOption('k');
711 if($commandLineOptions->hasOption('x')) {
712 $this->skipifExt = $commandLineOptions->getOption('x');

Completed in 9 milliseconds