projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be02641) | patch
(gl_GETOPT): Check if GETOPT_H is already set, in
authorSergey Poznyakoff <gray@gnu.org.ua>
Tue, 23 Nov 2004 02:52:44 +0000 (02:52 +0000)
committerSergey Poznyakoff <gray@gnu.org.ua>
Tue, 23 Nov 2004 02:52:44 +0000 (02:52 +0000)
commitf092adcaf2b62217175de3cc53c92445a745313e
tree2166e3f3db5e82cdef52863911115260af689178tree | snapshot
parentbe02641ad77fa1ea76bfb104aa297abaaeca8ae8commit | diff
(gl_GETOPT): Check if GETOPT_H is already set, in
order not to spoil the result of an eventual previous invocation
of gl_GETOPT_SUBSTITUTE.
m4/getopt.m4 diff | blob | history
gnulib debian + stable branches