mirror of
git://projects.qi-hardware.com/xburst-tools.git
synced 2024-11-26 05:12:29 +02:00
Show an error if a file cannot be sourced.
This commit is contained in:
parent
301f0c6605
commit
3851d0db66
7
shell.c
7
shell.c
@ -1,6 +1,7 @@
|
|||||||
/*
|
/*
|
||||||
* JzBoot: an USB bootloader for JZ series of Ingenic(R) microprocessors.
|
* JzBoot: an USB bootloader for JZ series of Ingenic(R) microprocessors.
|
||||||
* Copyright (C) 2010 Sergey Gridassov <grindars@gmail.com>
|
* Copyright (C) 2010 Sergey Gridassov <grindars@gmail.com>,
|
||||||
|
* Peter Zotov <whitequark@whitequark.org>
|
||||||
*
|
*
|
||||||
* This program is free software: you can redistribute it and/or modify
|
* This program is free software: you can redistribute it and/or modify
|
||||||
* it under the terms of the GNU General Public License as published by
|
* it under the terms of the GNU General Public License as published by
|
||||||
@ -299,6 +300,10 @@ static int builtin_source(int argc, char *argv[]) {
|
|||||||
|
|
||||||
int ret = shell_source(argv[1]);
|
int ret = shell_source(argv[1]);
|
||||||
|
|
||||||
|
if(ret == -1) {
|
||||||
|
printf("Error while sourcing file %s\n", argv[1]);
|
||||||
|
}
|
||||||
|
|
||||||
shell_exit = 0;
|
shell_exit = 0;
|
||||||
|
|
||||||
return ret;
|
return ret;
|
||||||
|
Loading…
Reference in New Issue
Block a user