diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2020-04-17 07:43:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-17 07:43:28 +0100 |
| commit | dce967139cba6218c12e77e53ef6f60a92dd5e3e (patch) | |
| tree | e5d45fba37c44bec4bc95681c2c0ffeff59beaa3 /debugger | |
| parent | 67ada54ce36e9d52cf8332285d2b6e2118ebf998 (diff) | |
| parent | a2ddf5571bb6dcc416ca5de2bbffefea86264360 (diff) | |
| download | ocaml-dce967139cba6218c12e77e53ef6f60a92dd5e3e.tar.gz | |
Merge pull request #8639 from dra27/autoconf-tweak
autoconf tweaks
Diffstat (limited to 'debugger')
| -rw-r--r-- | debugger/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 4b8af0c64d..9b8c11f0fd 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -15,8 +15,8 @@ ROOTDIR = .. -include $(ROOTDIR)/Makefile.config -include $(ROOTDIR)/Makefile.common +-include $(ROOTDIR)/Makefile.config +-include $(ROOTDIR)/Makefile.common include $(ROOTDIR)/Makefile.best_binaries DYNLINKDIR=$(ROOTDIR)/otherlibs/dynlink @@ -64,7 +64,7 @@ install: $(INSTALL_PROG) ocamldebug$(EXE) "$(INSTALL_BINDIR)/ocamldebug$(EXE)" clean:: - rm -f ocamldebug$(EXE) + rm -f ocamldebug ocamldebug.exe rm -f *.cmo *.cmi .SUFFIXES: |