diff options
-rw-r--r-- | scripts/download-using-manifests.pl.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/download-using-manifests.pl.in b/scripts/download-using-manifests.pl.in index 128cf579371c..d48c7dd4bc3f 100644 --- a/scripts/download-using-manifests.pl.in +++ b/scripts/download-using-manifests.pl.in @@ -73,7 +73,7 @@ if ($ARGV[0] eq "--query") { } elsif ($ARGV[0] ne "--substitute") { - die "syntax: $0 [--query-paths | --query-info PATHS... | --substitute PATH]\n"; + die; } |