tools.disassembler.gdb: simplify gdb-binary.

db4
John Benediktsson 2012-07-24 15:03:53 -07:00
parent 17a50c649b
commit 942e4ffee2
1 changed files with 1 additions and 3 deletions

View File

@ -20,13 +20,11 @@ SINGLETON: gdb-disassembler
"i" write bl from number>string write "i" write bl from number>string write
] with-file-writer ; ] with-file-writer ;
: gdb-binary ( -- string ) "gdb" ;
: run-gdb ( -- lines ) : run-gdb ( -- lines )
<process> <process>
+closed+ >>stdin +closed+ >>stdin
out-file >>stdout out-file >>stdout
[ gdb-binary , "-x" , in-file , "-batch" , ] { } make >>command [ "gdb" , "-x" , in-file , "-batch" , ] { } make >>command
try-process try-process
out-file ascii file-lines ; out-file ascii file-lines ;