diff options
| author | Fourchaux | 2019-05-22 01:50:55 +0200 |
|---|---|---|
| committer | GitHub | 2019-05-22 01:50:55 +0200 |
| commit | 0001b6d108c2d2c058b0bfca7e0af888c026fe05 (patch) | |
| tree | 0fba7a8031db5b36cec890c891f65e27337be7d9 /dev | |
| parent | e6322e23958a937fa01960f8ce320717b9863253 (diff) | |
Update build-system.txt
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/build-system.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/doc/build-system.txt b/dev/doc/build-system.txt index 1ad649bc94..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 ran even if option -n is given to make -a command starting by @ is not echoed before being ran +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 |