gdb-create-source-file-list and gdb-mi.el

[Aneesh Kumar K.V]

gdb-mi.el does the below

  ;; find source file and compilation directory here
  (gdb-input
                                        ; Needs GDB 6.2 onwards.
   (list "-file-list-exec-source-files" 'gdb-get-source-file-list))
  (if gdb-create-source-file-list
      (gdb-input
                                        ; Needs GDB 6.0 onwards.
       (list "-file-list-exec-source-file" 'gdb-get-source-file)))

Don't we need to make sure the the "-file-list-exec-source-files"  also
come withing the gdb-crate-source-file-list check ?. Current gdb with
linux kernel vmlinux takes so much time to give me the prompt.

-aneesh