diff options
author | olivekl <83081275+olivekl@users.noreply.github.com> | 2021-05-20 14:28:04 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-20 11:28:04 -0700 |
commit | 684c6c13c68db77ecb4d4d500cba9b50ff8a2bb5 (patch) | |
tree | b2e338fd8a0dfee8506f4dd771f87af19ea1cd13 /docs | |
parent | 61222ade6460db383cbc97b8649e2e8206ae1185 (diff) | |
download | oss-fuzz-684c6c13c68db77ecb4d4d500cba9b50ff8a2bb5.tar.gz |
Update new_project_guide.md (#5805)
* Update new_project_guide.md
Rewrite instructions under "Temporarily disabling code instrumentation during builds" section for greater clarity.
* Update new_project_guide.md
Diffstat (limited to 'docs')
-rw-r--r-- | docs/getting-started/new_project_guide.md | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/getting-started/new_project_guide.md b/docs/getting-started/new_project_guide.md index cd99e9172..e490d573b 100644 --- a/docs/getting-started/new_project_guide.md +++ b/docs/getting-started/new_project_guide.md @@ -253,11 +253,8 @@ alphanumeric characters, underscore(_) or dash(-). Otherwise, they won't run on ### Temporarily disabling code instrumentation during builds -Sometimes not every 3rd party library might be needed to be instrumented or -tools are being compiled that just support the target built. +In some cases, it's not necessary to instrument every 3rd party library or tool that supports the build target. Use the following snippet to build tools or libraries without instrumentation: -If for any reasons part of the build process should not be instrumented -then the following code snippet can be used for this: ``` CFLAGS_SAVE="$CFLAGS" |