diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/build/serprog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/build/serprog b/script/build/serprog index 28cd70a4..8b003add 100755 --- a/script/build/serprog +++ b/script/build/serprog @@ -71,7 +71,7 @@ print_boards() list_boards() { - basename -a -s .h "${1}/"*.h + basename -a -s .h "${1}/"*.h || err "list_boards $1: can't list boards" } main $@ |