misc/budge: use --options-maybe instead of --options

So we can reuse the script for source code trees other than u-ctags. Signed-off-by: Masatake YAMATO <yamato@redhat.com>
tony534 · May 18, 2018 · 7e45c1d · 7e45c1d
1 parent 44c27a0
commit 7e45c1d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/misc/budge b/misc/budge
@@ -53,7 +53,7 @@ while [ $# -gt 0 ]; do
     shift
 done
 
-CMDLINE="${CTAGS_TEST} --quiet --options=NONE -G --options=./.ctags.d --languages=all --options=misc/budge.ctags -R --print-language"
+CMDLINE="${CTAGS_TEST} --quiet --options=NONE -G --options-maybe=./.ctags.d --languages=all --options-maybe=misc/budge.ctags -R --print-language"
 ALL_FILES=$(git ls-files)
 
 TOTAL=0