diff options
Diffstat (limited to 'git-tools/setup_github_network.php')
| -rw-r--r-- | git-tools/setup_github_network.php | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/git-tools/setup_github_network.php b/git-tools/setup_github_network.php index f34787c4c4..911d336c2d 100644 --- a/git-tools/setup_github_network.php +++ b/git-tools/setup_github_network.php @@ -7,11 +7,6 @@ * */ -if ($argc < 2) -{ - show_usage(); -} - function show_usage() { $filename = basename(__FILE__); @@ -40,7 +35,13 @@ function show_usage() } // Handle arguments -$opts = getopt('s:u:r:m:d'); +$opts = getopt('s:u:r:m:d'); + +if (empty($opts)) +{ + show_usage(); +} + $scope = get_arg($opts, 's', ''); $username = get_arg($opts, 'u', 'phpbb'); $repository = get_arg($opts, 'r', 'phpbb3'); |