diff options
Diffstat (limited to 'tools/debugger/pdb/Makefile')
-rw-r--r-- | tools/debugger/pdb/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/debugger/pdb/Makefile b/tools/debugger/pdb/Makefile index 1842ec7d0b..03cdc486b4 100644 --- a/tools/debugger/pdb/Makefile +++ b/tools/debugger/pdb/Makefile @@ -33,6 +33,7 @@ LIBS += unix str # bc = byte-code, dc = debug byte-code # patches = patch linux domU source code +.PHONY: all all : dc SOURCES += pdb_caml_xc.c @@ -51,5 +52,6 @@ RESULT = pdb include $(OCAMLMAKEFILE) PATCHDIR = ./linux-2.6-patches +.PHONY: patches patches : make -C $(PATCHDIR) patches |