| Index: src/flags.cc
|
| ===================================================================
|
| --- src/flags.cc (revision 984)
|
| +++ src/flags.cc (working copy)
|
| @@ -516,10 +516,11 @@
|
| printf(" shell [options] file1 file2 ... filek\n");
|
| printf(" run JavaScript scripts in file1, file2, ..., filek\n");
|
| printf(" shell [options]\n");
|
| - printf(" shell [options] --shell\n");
|
| - printf(" run an interactive JavaScript shell");
|
| - printf(" d8 [options] file\n");
|
| + printf(" shell [options] --shell [file1 file2 ... filek]\n");
|
| + printf(" run an interactive JavaScript shell\n");
|
| + printf(" d8 [options] file1 file2 ... filek\n");
|
| printf(" d8 [options]\n");
|
| + printf(" d8 [options] --shell [file1 file2 ... filek]\n");
|
| printf(" run the new debugging shell\n\n");
|
| printf("Options:\n");
|
| for (size_t i = 0; i < num_flags; ++i) {
|
|
|