소스 검색

Fix starpu-mpi-print-detached-requests gdb command

Samuel Thibault 4 년 전
부모
커밋
e2bca73db6
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      tools/gdbinit

+ 1 - 1
tools/gdbinit

@@ -1047,7 +1047,7 @@ end
 define starpu-mpi-print-detached-requests
     set $list = (struct _starpu_mpi_req_list) detached_requests
     if $list
-	set $request = $list.list._head
+	set $request = $list._head
         while $request
             starpu-mpi-print-request $request
 	    set $request = $request->_next