diff options
author | njlr <njlr@users.noreply.github.com> | 2018-10-19 14:08:52 +0100 |
---|---|---|
committer | njlr <njlr@users.noreply.github.com> | 2018-10-19 14:09:50 +0100 |
commit | 8636e7d337876ccab30915ddd033ffa7f41a045f (patch) | |
tree | c086ed527390e8866a5ff2d71af1c2163b899b17 /.buckconfig | |
parent | Merge pull request #65 from Rholais/patch-1 (diff) | |
download | args.hxx-8636e7d337876ccab30915ddd033ffa7f41a045f.tar.xz |
* Adds Buck build support
Diffstat (limited to '.buckconfig')
-rw-r--r-- | .buckconfig | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.buckconfig b/.buckconfig new file mode 100644 index 0000000..71543fc --- /dev/null +++ b/.buckconfig @@ -0,0 +1,7 @@ +[project] + ignore = .git + +[cxx] + should_remap_host_platform = true + untracked_headers = error + untracked_headers_whitelist = /usr/include/.*, /usr/lib/gcc/.* |