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 |