Public feed
#1852977
Index: contrib/scripts/live_ast===================================================================--- contrib/scripts/live_ast (revision 254975)+++ contrib/scripts/live_ast (working copy)@@ -168,7 +168,9 @@ } command="$1"-shift+if [ $# -gt 0 ]; then+ shift+fi case "$command" in configure)