diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/generator.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/generator.ml b/src/generator.ml index 71aeeed8..fa08688b 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -6362,7 +6362,8 @@ and generate_fish_cmds () = pr " %s = strcmp (argv[%d], \"-\") != 0 ? argv[%d] : \"/dev/stdout\";\n" name i i | StringList name | DeviceList name -> - pr " %s = parse_string_list (argv[%d]);\n" name i + pr " %s = parse_string_list (argv[%d]);\n" name i; + pr " if (%s == NULL) return -1;\n" name; | Bool name -> pr " %s = is_true (argv[%d]) ? 1 : 0;\n" name i | Int name -> |