diff options
Diffstat (limited to 'tools/debugger/pdb/Makefile')
-rw-r--r-- | tools/debugger/pdb/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/debugger/pdb/Makefile b/tools/debugger/pdb/Makefile index 9652a11013..85f8beaff7 100644 --- a/tools/debugger/pdb/Makefile +++ b/tools/debugger/pdb/Makefile @@ -33,7 +33,8 @@ LIBDIRS += ../libxendebug LIBS += unix str # bc = byte-code, dc = debug byte-code -all : patches dc +# patches = patch linux domU source code +all : dc SOURCES += pdb_caml_xc.c SOURCES += pdb_caml_domain.c pdb_caml_process.c |