diff options
Diffstat (limited to 'etc/compilation.txt')
| -rw-r--r-- | etc/compilation.txt | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/etc/compilation.txt b/etc/compilation.txt index 2e452b58c8d..eeb09b1712c 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 |