From f2ebffabb0f20ae1cb42cbc300a9ae012e4da4eb Mon Sep 17 00:00:00 2001 From: Damien Regad Date: Sun, 28 May 2017 15:33:28 +0200 Subject: [PATCH] Fix PHP notice in bump version script --- tools/bump-version.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/bump-version.php b/tools/bump-version.php index 951a43ba0..9f4ff8589 100755 --- a/tools/bump-version.php +++ b/tools/bump-version.php @@ -70,7 +70,7 @@ * Prints command-line help */ function print_help() { - echo basename( $argv[0] ) . "[-v version] [-t] [-h]\n\n", <<