diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-22 01:52:29 +0200 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-07-25 23:18:55 +0200 |
commit | b5b4cd3e13db117d593b50b432133847554adfc4 (patch) | |
tree | 24e5c2f2269c76aca12759284900396cd75e6a5c | |
parent | eb6779f6f62173672b533cfbbff59758f710fb4f (diff) | |
download | sparse-b5b4cd3e13db117d593b50b432133847554adfc4.tar.gz |
option: accept 'sparse -U ...'
The '-D' flag was fixed to accept whitespace before the argument
but the '-U' flag wasn't. So, fix this now.
Fixes: 7f1011b311e9329f53d73f88de495ea64071eb77
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | options.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -782,6 +782,12 @@ static char **handle_switch_s(const char *arg, char **next) static char **handle_switch_U(char *arg, char **next) { const char *name = arg + 1; + + if (*name == '\0') { + name = *++next; + if (!name) + die("argument to `-U' is missing"); + } add_pre_buffer("#undef %s\n", name); return next; } |