mirror of
https://https.git.savannah.gnu.org/git/gnulib.git
synced 2026-09-01 11:16:02 +00:00
gnulib-tool.py: follow gnulib-tool changes, part 5
Follow gnulib-tool change 2013-05-04 Stefano Lattarini <stefano.lattarini@gmail.com> Assume gnulib is checked out from Git, not CVS
This commit is contained in:
@@ -84,7 +84,7 @@ class GLModuleSystem(object):
|
||||
raise(TypeError(
|
||||
'module must be a string, not %s' % type(module).__name__))
|
||||
result = bool()
|
||||
badnames = ['CVS', 'ChangeLog', 'COPYING', 'README', 'TEMPLATE',
|
||||
badnames = ['ChangeLog', 'COPYING', 'README', 'TEMPLATE',
|
||||
'TEMPLATE-EXTENDED', 'TEMPLATE-TESTS']
|
||||
if isfile(joinpath(DIRS['modules'], module)) or \
|
||||
all([ # Begin all(iterable) function
|
||||
@@ -132,8 +132,6 @@ class GLModuleSystem(object):
|
||||
[
|
||||
'sed',
|
||||
'-e', r's,^modules/,,',
|
||||
'-e', r'/^CVS\//d',
|
||||
'-e', r'/\/CVS\//d',
|
||||
'-e', r'/^ChangeLog$/d',
|
||||
'-e', r'/\/ChangeLog$/d',
|
||||
'-e', r'/^COPYING$/d',
|
||||
|
||||
Reference in New Issue
Block a user