|
5 | 5 | import java.lang.reflect.InvocationTargetException; |
6 | 6 | import java.lang.reflect.Method; |
7 | 7 | import java.nio.charset.StandardCharsets; |
| 8 | +import java.nio.file.Files; |
| 9 | +import java.nio.file.Path; |
8 | 10 | import java.security.MessageDigest; |
9 | 11 | import java.security.NoSuchAlgorithmException; |
10 | 12 | import java.util.ArrayList; |
@@ -84,15 +86,20 @@ private static String throwBuildHeaderError( |
84 | 86 | + ": " + line + "\n" + msg); |
85 | 87 | } |
86 | 88 |
|
87 | | - public static String readBuildHeader(java.nio.file.Path buildFile, String errorFileName) { |
| 89 | + public static String readBuildHeader(Path buildFile, String errorFileName) { |
| 90 | + return readBuildHeader(buildFile, errorFileName, false); |
| 91 | + } |
| 92 | + |
| 93 | + public static String readBuildHeader( |
| 94 | + Path buildFile, String errorFileName, boolean allowNonBuild) { |
88 | 95 | try { |
89 | | - java.util.List<String> lines = java.nio.file.Files.readAllLines(buildFile); |
| 96 | + java.util.List<String> lines = Files.readAllLines(buildFile); |
90 | 97 | boolean readingBuildHeader = true; |
91 | 98 | java.util.List<String> output = new ArrayList<>(); |
92 | 99 | for (int i = 0; i < lines.size(); i++) { |
93 | 100 | String line = lines.get(i); |
94 | 101 | if (!line.startsWith("//|")) readingBuildHeader = false; |
95 | | - else if (!buildFile.getFileName().toString().startsWith("build.")) { |
| 102 | + else if (!allowNonBuild && !buildFile.getFileName().toString().startsWith("build.")) { |
96 | 103 | throwBuildHeaderError( |
97 | 104 | errorFileName, |
98 | 105 | i, |
|
0 commit comments