HomeSort by: relevance | last modified time | path
    Searched refs:marker_file (Results 1 - 4 of 4) sorted by relevancy

  /src/external/gpl3/gdb/dist/gdb/testsuite/gdb.tui/
flush-after-run.exp 38 set marker_file [standard_output_file "marker"]
39 file delete $marker_file
41 # Run the inferior, which will create MARKER_FILE.
42 send_gdb "run \"$marker_file\"\n"
44 # Spin until MARKER_FILE appears.
45 while { ! [file exists $marker_file] } {
56 # Delete MARKER_FILE. This will cause the inferior to exit.
57 file delete $marker_file
  /src/external/gpl3/gdb.old/dist/gdb/testsuite/gdb.tui/
flush-after-run.exp 38 set marker_file [standard_output_file "marker"]
39 file delete $marker_file
41 # Run the inferior, which will create MARKER_FILE.
42 send_gdb "run \"$marker_file\"\n"
44 # Spin until MARKER_FILE appears.
45 while { ! [file exists $marker_file] } {
56 # Delete MARKER_FILE. This will cause the inferior to exit.
57 file delete $marker_file
  /src/usr.sbin/sysinst/
configmenu.c 402 dist.marker_file = NULL;
defs.h 278 const char *marker_file; /* set assumed installed if exists */ member in struct:distinfo

Completed in 30 milliseconds