| Index: third_party/libxml/xmlcatalog.c
|
| diff --git a/third_party/libxml/xmlcatalog.c b/third_party/libxml/xmlcatalog.c
|
| index 6f193b17720d1d063d70a97f86b26cf3293bddc4..489509f5bf79a029a41fc5a5fdc2321bec4d0153 100644
|
| --- a/third_party/libxml/xmlcatalog.c
|
| +++ b/third_party/libxml/xmlcatalog.c
|
| @@ -124,7 +124,6 @@ static void usershell(void) {
|
| free(cmdline);
|
| continue;
|
| }
|
| - nbargs++;
|
|
|
| /*
|
| * Parse the argument string
|
| @@ -138,8 +137,6 @@ static void usershell(void) {
|
| arg[i++] = *cur++;
|
| }
|
| arg[i] = 0;
|
| - if (i != 0)
|
| - nbargs++;
|
|
|
| /*
|
| * Parse the arguments
|
|
|