Do not use deprecated CLI option

sebastianbergmann · Nov 27, 2023 · 05a782c · 05a782c
1 parent eecc6c3
commit 05a782c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -383,7 +383,6 @@
             <arg value="--config" />
             <arg path="${basedir}/build/config/php-scoper.php" />
             <arg value="--no-interaction" />
-            <arg value="--stop-on-failure" />
             <arg value="--output-dir" />
             <arg path="${basedir}/build/tmp/phar-scoped" />
             <arg value="--prefix" />