Ignore DECLFILENAME on library files

This commit is contained in:
Wilson Snyder
2010-12-29 19:34:33 -05:00
parent dce245da5a
commit 809e5fda8a
4 changed files with 17 additions and 4 deletions
+3
View File
@@ -115,6 +115,9 @@ void V3Options::addFuture(const string& flag) {
bool V3Options::isFuture(const string& flag) const {
return m_futures.find(flag) != m_futures.end();
}
bool V3Options::isLibraryFile(const string& filename) const {
return m_libraryFiles.find(filename) != m_libraryFiles.end();
}
void V3Options::addLibraryFile(const string& filename) {
if (m_libraryFiles.find(filename) == m_libraryFiles.end()) {