summaryrefslogtreecommitdiff
path: root/Build/source/utils/vlna/vlna.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/vlna/vlna.w')
-rw-r--r--Build/source/utils/vlna/vlna.w3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/utils/vlna/vlna.w b/Build/source/utils/vlna/vlna.w
index e366bffb146..c5b9faaf4a0 100644
--- a/Build/source/utils/vlna/vlna.w
+++ b/Build/source/utils/vlna/vlna.w
@@ -142,7 +142,8 @@ while (argc>1 && argv[1][0] == '-') {
case 'f': isfilter = 1; break;
case 's': silent = 1; break;
case 'r': rmbackup = 1; break;
- case 'v': argv++; argc--; charset = argv[1]; break;
+ case 'v': if (argc<2) printusage (), exit (BAD_OPTIONS);
+ argv++; argc--; charset = argv[1]; break;
case 'm': nomath = 1; break;
case 'n': noverb = 1; break;
case 'l': latex = 1; break;