Skip to content
This repository was archived by the owner on May 27, 2026. It is now read-only.

Commit a0f28b7

Browse files
authored
Merge pull request #43 from jestabro/missing-case-list-interfaces
T7758: add missing case to allow repeated option --type
2 parents 51ac77c + f857633 commit a0f28b7

1 file changed

Lines changed: 4 additions & 1 deletion

File tree

src/completion/list_interfaces/list_interfaces.ml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -132,7 +132,10 @@ let get_interfaces_by_type out intf_type =
132132

133133
let get_interfaces =
134134
let types = List.rev !intf_types in
135-
List.fold_left get_interfaces_by_type [] types
135+
if types <> [] then
136+
List.fold_left get_interfaces_by_type [] types
137+
else
138+
get_interfaces_by_type [] ""
136139

137140
let () =
138141
let res = get_interfaces in

0 commit comments

Comments
 (0)