diff options
Diffstat (limited to 'doc/building')
| -rw-r--r-- | doc/building/PrecompileVendorPrimitives.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/building/PrecompileVendorPrimitives.rst b/doc/building/PrecompileVendorPrimitives.rst index 39454c7c9..1a3171a2d 100644 --- a/doc/building/PrecompileVendorPrimitives.rst +++ b/doc/building/PrecompileVendorPrimitives.rst @@ -248,7 +248,7 @@ Selectable Options for the Bash Scripts: -n --no-warnings Don't show warnings. Report errors only. -s --skip-existing Skip already compiled files (an *.o file exists). -S --skip-largefiles Don't compile large entities like DSP and PCIe primitives. - -H --halt-on-error Stop compiling if an error occured. + -H --halt-on-error Stop compiling if an error occurred. * `compile-altera.sh` |