diff options
| author | Juri Linkov <[email protected]> | 2011-08-22 16:08:35 +0300 |
|---|---|---|
| committer | Juri Linkov <[email protected]> | 2011-08-22 16:08:35 +0300 |
| commit | 4d993e7b54b8d302f8b3f96b5c044ce1a0486357 (patch) | |
| tree | 68d664fbcff6f4f974477cf0a8124c5782f5c402 /etc | |
| parent | e59e73d83f5aa3705ebaaa2f1637b392f0b3e4f5 (diff) | |
* etc/compilation.txt: Add more samples of output and non-output switches (bug#9319).
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ChangeLog | 5 | ||||
| -rw-r--r-- | etc/compilation.txt | 6 |
2 files changed, 9 insertions, 2 deletions
diff --git a/etc/ChangeLog b/etc/ChangeLog index c2f7e3cb0d..31752a2bc2 100644 --- a/etc/ChangeLog +++ b/etc/ChangeLog @@ -1,3 +1,8 @@ +2011-08-22 Juri Linkov <[email protected]> + + * compilation.txt: Add more samples of output and non-output + switches (bug#9319). + 2011-08-19 Chong Yidong <[email protected]> * themes/dichromacy-theme.el: diff --git a/etc/compilation.txt b/etc/compilation.txt index 2e452b58c8..eeb09b1712 100644 --- a/etc/compilation.txt +++ b/etc/compilation.txt @@ -556,8 +556,10 @@ tool --output foo.o foo.c tool --output=foo.o foo.c tool --outfile foo.o foo.c tool --outfile=foo.o foo.c -tool --omega foo.c -tool --output-html-file foo.c +tool -omega foo.c foo2.c +tool -output-html-file foo.c foo2.c +tool --omega foo.c foo2.c +tool --output-html-file foo.c foo2.c Compilation started at Wed Jul 20 12:20:10 Compilation interrupt at Wed Jul 20 12:20:10 |