diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2016-03-14 16:56:53 +0100 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2016-03-14 16:57:01 +0100 |
commit | 93a746eace850cbdd0a58990a099029243800fce (patch) | |
tree | 92a3d9dc812afb2d7b704f942726b476f29b6cec /scripts/nsim.sh | |
parent | ec53b258937592f000744ca7a676fe73aef869ae (diff) |
exit if kernel not found
Diffstat (limited to 'scripts/nsim.sh')
-rwxr-xr-x | scripts/nsim.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/nsim.sh b/scripts/nsim.sh index 420c17114..04877b9e1 100755 --- a/scripts/nsim.sh +++ b/scripts/nsim.sh @@ -3,6 +3,11 @@ arch=$1 kernel=$2 +if [ ! -f $kernel ]; then + echo "Kernel $kernel not found" + exit 1 +fi + if [ "$arch" = "arcv1" ]; then nsimdrv -prop=nsim_isa_family=a700 -prop=nsim_isa_atomic_option=1 -prop=nsim_mmu=3 -prop=icache=32768,64,2,0 -prop=dcache=32768,64,4,0 -prop=nsim_isa_dpfp=none -prop=nsim_isa_shift_option=2 -prop=nsim_isa_swap_option=1 -prop=nsim_isa_bitscan_option=1 -prop=nsim_isa_sat=1 -prop=nsim_isa_mpy32=1 -prop=nsim_isa_enable_timer_0=1 -prop=nsim_isa_enable_timer_1=1 -prop=nsim_mem-dev=uart0 $kernel fi |