0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Now that maps have their own extension,

Browse source 
...macroscope can sanity-check reference to them just like any other
resource file type.
This commit is contained in:
Eric S. Raymond 2007-05-04 10:24:48 +00:00
parent 711fa85e94
commit b5765d123e
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
data/tools/macroscope
View file

@ -53,7 +53,7 @@
import sys, os, time, re, getopt, sre_constants, md5
resource_extensions = ("png", "jpg", "ogg", "wav")
resource_extensions = ("png", "jpg", "ogg", "wav", "map")
def htmlize(line):
"HTML-escape a text line"
@ -316,6 +316,8 @@ class CrossRef:
# Find references to resource files
for match in re.finditer(CrossRef.file_reference, line):
name = match.group(0)
if name.endswith(".map") and name[0] == '{':
name = name[1:]
key = None
# If name is already in our resource list, it's easy.
if name in self.fileref and self.visible_from(name, fn, n):