diff --git a/bin/stubs/update-property-map.php b/bin/stubs/update-property-map.php
index 115bc01f912..95d45d4f158 100755
--- a/bin/stubs/update-property-map.php
+++ b/bin/stubs/update-property-map.php
@@ -52,6 +52,7 @@
 if (false === $docDir) {
     echo 'PHP doc not found!' . PHP_EOL;
     echo 'Please execute: git clone git@github.com:php/doc-en.git ' . dirname(__DIR__) . '/build/doc-en';
+    die(1);
 }
 
 $files = new RegexIterator(