Home
last modified time | relevance | path

Searched refs:fileType (Results 1 – 1 of 1) sorted by relevance

/titanic_41/usr/src/tools/scripts/
H A Dwsdiff.py953 def compareArchives(base, ptch, fileType) : argument
964 if compareBasic(base, ptch, True, fileType) == 0 :
995 if fileType == "Java Archive" :
1000 elif fileType == "ELF Object Archive" :
1006 error("unexpected file type: " + fileType)
1029 difference(fileName, fileType, \
1036 difference(fileName, fileType, \
1044 difference(fileName, fileType, \
1061 def compareBasic(base, ptch, quiet, fileType) : argument
1086 if fileType == "HTML" :
[all …]