summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNick Fitzgerald <fitzgen@gmail.com>2017-07-17 10:18:35 -0700
committerNick Fitzgerald <fitzgen@gmail.com>2017-07-17 10:18:35 -0700
commitc29e5bc0164c014f355850044749cf24e8f88bea (patch)
tree3adeff03b3e5390d849546ca362f3d78028a8115
parentb56edd0e7facc8578381e13b2287972186b75db8 (diff)
Mention dumping preprocessed input headers in the issue template
-rw-r--r--.github/ISSUE_TEMPLATE.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md
index 02fe3cde..a6be9497 100644
--- a/.github/ISSUE_TEMPLATE.md
+++ b/.github/ISSUE_TEMPLATE.md
@@ -7,7 +7,11 @@
// files, and therefore any `#include` harms reproducibility. Additionally,
// the test case isn't minimal since the included file almost assuredly
// contains things that aren't necessary to reproduce the bug, and makes
-// tracking it down much more difficult. If necessary, see
+// tracking it down much more difficult.
+//
+// Use the `--dump-preprocessed-input` flag or the
+// `bindgen::Builder::dump_preprocessed_input` method to make your test case
+// standalone and without `#include`s, and then use C-Reduce to minimize it:
// https://github.com/servo/rust-bindgen/blob/master/CONTRIBUTING.md#using-creduce-to-minimize-test-cases
```