Merge pull request #3186 from Chris--A/allow_headers

Added support for .hh and .hpp libraries
This commit is contained in:
Federico Fissore 2015-05-19 17:47:24 +02:00
commit 57dcf07244
1 changed files with 1 additions and 1 deletions

View File

@ -417,7 +417,7 @@ public class BaseNoGui {
* within the header files at the top-level).
*/
static public String[] headerListFromIncludePath(File path) throws IOException {
String[] list = path.list(new OnlyFilesWithExtension(".h"));
String[] list = path.list(new OnlyFilesWithExtension(".h", ".hh", ".hpp"));
if (list == null) {
throw new IOException();
}