diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/markdown/snippets/skipsanity.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/markdown/snippets/skipsanity.md b/docs/markdown/snippets/skipsanity.md new file mode 100644 index 0000000..94730a2 --- /dev/null +++ b/docs/markdown/snippets/skipsanity.md @@ -0,0 +1,9 @@ +## Skip sanity tests when cross compiling + +For certain cross compilation environments it is not possible to +compile a sanity check application. This can now be disabled by adding +the following entry to your cross file's `properties` section: + +``` +skip_sanity_check = true +``` |