diff options
| -rwxr-xr-x | contrib/scripts/live_ast | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/contrib/scripts/live_ast b/contrib/scripts/live_ast index 1beaef9f9..331f7992b 100755 --- a/contrib/scripts/live_ast +++ b/contrib/scripts/live_ast @@ -168,7 +168,9 @@ gen_live_conf() { } command="$1" -shift +if [ $# -gt 0 ]; then + shift +fi case "$command" in configure) |