diff options
| author | Théo Zimmermann | 2019-05-22 17:38:06 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-22 17:38:06 +0200 |
| commit | 049cfe725d334fb863df31ee9e03db4b54a64455 (patch) | |
| tree | 2149121e604d2b369eb001289bf64adf508afc21 /dev/doc/build-system.txt | |
| parent | ed7d118e8ee9a6725daafde31845981f5da8d2b4 (diff) | |
| parent | 0001b6d108c2d2c058b0bfca7e0af888c026fe05 (diff) | |
Merge PR #10203: Fixing typos - Part 1
Ack-by: SkySkimmer
Reviewed-by: Zimmi48
Ack-by: cpitclaudel
Reviewed-by: gares
Reviewed-by: jfehrle
Reviewed-by: vbgl
Diffstat (limited to 'dev/doc/build-system.txt')
| -rw-r--r-- | dev/doc/build-system.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev/doc/build-system.txt b/dev/doc/build-system.txt index 8cefe699cc..a14781a058 100644 --- a/dev/doc/build-system.txt +++ b/dev/doc/build-system.txt @@ -18,8 +18,8 @@ See http://www.gnu.org/software/make/manual/make.htmlPrerequisite-Types * Annotation before commands: +/-/@ a command starting by - is always successful (errors are ignored) -a command starting by + is runned even if option -n is given to make -a command starting by @ is not echoed before being runned +a command starting by + is run even if option -n is given to make +a command starting by @ is not echoed before being run * Custom functions @@ -36,7 +36,7 @@ If the file given to -include doesn't exist, make tries to build it, and even retries again if necessary, but doesn't care if this build finally fails. We used to rely on this "feature", but this should not be the case anymore. We kept "-include" instead of "include" for -avoiding warnings about initially non-existant files. +avoiding warnings about initially non-existent files. Changes (for old-timers) ------------------------ |