diff options
| -rw-r--r-- | cmd/pinmux.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmd/pinmux.c b/cmd/pinmux.c index 6c8ec5164d..de909a163d 100644 --- a/cmd/pinmux.c +++ b/cmd/pinmux.c @@ -27,6 +27,7 @@ static int do_dev(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]) printf("Can't get the pin-controller: %s!\n", name); return CMD_RET_FAILURE; } + /* fall through */ case 1: if (!currdev) { printf("Pin-controller device is not set!\n"); |