Merge pull request #4300 from tweag/remove-unknown-pragma-warning

Remove `unknown pragma` gcc warning
This commit is contained in:
Eelco Dolstra 2020-12-02 15:22:00 +01:00 committed by GitHub
commit 9daf713bcb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 1 deletions

View file

@ -12,7 +12,9 @@
%{
#ifdef __clang__
#pragma clang diagnostic ignored "-Wunneeded-internal-declaration"
#endif
#include <boost/lexical_cast.hpp>

View file

@ -82,7 +82,7 @@ struct RetrieveRegularNARSink : ParseSink
sink(data);
}
void createSymlink(const Path & path, const string & target)
void createSymlink(const Path & path, const string & target) override
{
regular = false;
}