Merge branch 'master' of git://git.denx.de/u-boot-usb

[oweals/u-boot.git] / cmd / pinmux.c

diff --git a/cmd/pinmux.c b/cmd/pinmux.c
index 6c8ec5164d3ca5cfbb057513d537820aef8ba0dc..de909a163d8df450f3ef0680125831be48789e3d 100644 (file)
--- 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");