Die when PHP doc not found in update-property-map.php

vimeo · Oct 21, 2024 · deb2e87 · deb2e87
1 parent 0f796f1
commit deb2e87
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/update-property-map.php b/bin/update-property-map.php
@@ -73,6 +73,7 @@ function extractClassesFromStatements(array $statements): array
 if (false === $docDir) {
     echo 'PHP doc not found!' . PHP_EOL;
     echo 'Please execute: git clone [email protected]:php/doc-en.git ' . dirname(__DIR__) . '/build/doc-en';
+    die(1);
 }
 
 $files = new RegexIterator(