This trivial patch fixes a typo to declare pagination_off_command in 
gdb/utils.c

-- 
Denis