Avoid race condition (and make PhpStorm happy)

sebastianbergmann · Jul 25, 2021 · 56fb219 · 56fb219
1 parent ae8359e
commit 56fb219
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/build/scripts/phar-version.php b/build/scripts/phar-version.php
@@ -11,7 +11,8 @@
         'private static $pharVersion;',
         'private static $pharVersion = "' . $argv[1] . '";',
         \file_get_contents(__DIR__ . '/../tmp/phar/phpunit/Runner/Version.php')
-    )
+    ),
+    \LOCK_EX
 );
 
 if ($argv[2] == 'release') {