Merge branch '9.6'

krchiper · Jan 31, 2023 · d250e2f · d250e2f
2 parents 93c0b13 + 2d1e65b
commit d250e2f
Show file tree

Hide file tree

Showing 2 changed files with 1,128 additions and 1 deletion.
diff --git a/build.xml b/build.xml
@@ -388,7 +388,12 @@
     </target>
 
     <target name="update-tools">
-        <exec executable="phive">
+        <exec executable="${basedir}/tools/phive">
+            <arg value="--no-progress"/>
+            <arg value="self-update"/>
+        </exec>
+
+        <exec executable="${basedir}/tools/phive">
             <arg value="--no-progress"/>
             <arg value="update"/>
         </exec>