diff options
| author | Patrick Lehmann <Paebbels@gmail.com> | 2018-05-26 21:49:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-26 21:49:16 +0200 |
| commit | 411cca2e3afd590f4e0c50fec08165de5a11b807 (patch) | |
| tree | cb56dc1373c82679c777308946f3d3ff869373e3 /doc/ghdl.texi | |
| parent | f20bc0c2d9148bfb77c6aff1a94821334529a98e (diff) | |
| parent | 0a4889609312fae3805cb8f9ed2cbcc80192c8f2 (diff) | |
| download | ghdl-411cca2e3afd590f4e0c50fec08165de5a11b807.tar.gz ghdl-411cca2e3afd590f4e0c50fec08165de5a11b807.tar.bz2 ghdl-411cca2e3afd590f4e0c50fec08165de5a11b807.zip | |
Merge pull request #582 from 1138-4EB/occured-typo
fix 'occured' typo
Diffstat (limited to 'doc/ghdl.texi')
| -rw-r--r-- | doc/ghdl.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ghdl.texi b/doc/ghdl.texi index f41cab1da..cfa8ef218 100644 --- a/doc/ghdl.texi +++ b/doc/ghdl.texi @@ -4413,7 +4413,7 @@ Common parameters to most 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. @end example @item |