Merge remote-tracking branch 'upstream/3.4' into merge-3.4

2026-07-30 07:43:03 +04:00 · 2019-04-19 15:43:58 +03:00
parent 1f517b8a02 3abae3c511
commit c024edb9a8
40 changed files with 332 additions and 351 deletions
@@ -3,7 +3,7 @@
 set -e

 if [ -z $1 ] ; then
-    echo "<script> <destination directory>"
+    echo "$0 <destination directory>"
    exit 1
 fi