Skip to content

Commit d096595

Browse files
authored
Merge pull request #253 from EricccTaiwan/fix-do_source
Improve source command feedback
2 parents 9711c67 + 3703783 commit d096595

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

console.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -355,7 +355,7 @@ static bool do_option(int argc, char *argv[])
355355
static bool do_source(int argc, char *argv[])
356356
{
357357
if (argc < 2) {
358-
report(1, "No source file given");
358+
report(1, "No source file given. Use 'source <file>'.");
359359
return false;
360360
}
361361

0 commit comments

Comments
 (0)