diff options
author | 2017-11-13 10:38:53 +0000 | |
---|---|---|
committer | 2017-11-13 10:38:59 +0000 | |
commit | c1795dec1e864d948eb5d6babac7b4417cb8b3be (patch) | |
tree | b200074d32cb7551f54a93ba5b5b2c10b0c77b96 /doc/guides/sample_app_ug/ip_pipeline.rst | |
parent | acf94b73356456e99aee3509f5c2e2a84aa2e10a (diff) | |
parent | 976be7358289d46cd5ed8131bbf2e2c5a6838d3c (diff) |
Merge branch 'upstream' into 17.11.x
Change-Id: I68ef2636536dc97016038c50669a96e95424db0e
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
Diffstat (limited to 'doc/guides/sample_app_ug/ip_pipeline.rst')
-rw-r--r-- | doc/guides/sample_app_ug/ip_pipeline.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guides/sample_app_ug/ip_pipeline.rst b/doc/guides/sample_app_ug/ip_pipeline.rst index 693d813c..e0aa1484 100644 --- a/doc/guides/sample_app_ug/ip_pipeline.rst +++ b/doc/guides/sample_app_ug/ip_pipeline.rst @@ -233,7 +233,7 @@ The application startup arguments are: * Default: Not present * Argument: Path to the CLI script file to be run by the master pipeline at application startup. - No CLI script file will be run at startup of this argument is not present. + No CLI script file will be run at startup if this argument is not present. ``-p PORT_MASK`` |