diff options
Diffstat (limited to 'change_cmd_name.patch')
| -rw-r--r-- | change_cmd_name.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/change_cmd_name.patch b/change_cmd_name.patch new file mode 100644 index 000000000000..9a0c146b0601 --- /dev/null +++ b/change_cmd_name.patch @@ -0,0 +1,11 @@ +--- a/build/linux/processing 2020-06-18 10:59:49.559381692 +0200 ++++ b/build/linux/processing 2020-06-18 11:02:47.809690486 +0200 +@@ -103,7 +103,7 @@ + log PATH + + current_name=`basename $0` +-cmd_name='processing-java' ++cmd_name='processing4-java' + + if [ $current_name = $cmd_name ] + then |