projects
/
gnulib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
gnulib-tool: Fix persistence of --witness-c-macro option.
[gnulib.git]
/
gnulib-tool
diff --git
a/gnulib-tool
b/gnulib-tool
index
b295818
..
3adc498
100755
(executable)
--- a/
gnulib-tool
+++ b/
gnulib-tool
@@
-5140,7
+5140,7
@@
s,//*$,/,'
fi
echo "gl_MACRO_PREFIX([$macro_prefix])"
echo "gl_PO_DOMAIN([$po_domain])"
- echo "gl_WITNESS_C_
DOMAIN
([$witness_c_macro])"
+ echo "gl_WITNESS_C_
MACRO
([$witness_c_macro])"
if test -n "$vc_files"; then
echo "gl_VC_FILES([$vc_files])"
fi