diff options
| author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-09-18 20:56:34 +0000 |
|---|---|---|
| committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-09-18 20:56:34 +0000 |
| commit | e8acf5f821078f0a36b68530a18552042e291d68 (patch) | |
| tree | 0d4af69426b04fca5f22614ed7f3192aeefe81ad | |
| parent | 908c6e8dfb9465e753760af0928e032b6e5b1e5f (diff) | |
build: allow $(UNIXDIR) to be "win32unix".
(Patch by Adrien Nader!)
Several commits ago, I made a change that replaced includes for
"otherlibs/unix" with "otherlibs/$(UNIXLIB)", making it possible to
include "win32unix".
Apparently I forgot to do it for debugger/Makefile or skipped it on
purpose since it only matters for cross-compilation and cross-compiling
the debugger is not supported (yet).
Change it now rather than forget it later.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | debugger/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index cf0fffb90..75f4aa8eb 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -10,5 +10,5 @@ # # ######################################################################### -UNIXDIR=../otherlibs/unix +UNIXDIR=../otherlibs/$(UNIXLIB) include Makefile.shared |