diff options
Diffstat (limited to 'crawl-ref/source/util')
-rwxr-xr-x | crawl-ref/source/util/unbrace | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/util/unbrace b/crawl-ref/source/util/unbrace index 19d52a1f04..eb3dd945f5 100755 --- a/crawl-ref/source/util/unbrace +++ b/crawl-ref/source/util/unbrace @@ -10,7 +10,7 @@ my @files = @ARGV; undef $/; unless (@files) { - @files = (grep /\.(cc|h)$/, split /\n/, `git ls-files`); + @files = (grep /\.(cc|h)$/ && !/^prebuilt\//, split /\n/, `git ls-files`); } sub rebrace($$$) |