diff options
Diffstat (limited to 'Makefile.build_config.in')
| -rw-r--r-- | Makefile.build_config.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build_config.in b/Makefile.build_config.in index 7a150ba91b..54bfb16232 100644 --- a/Makefile.build_config.in +++ b/Makefile.build_config.in @@ -61,7 +61,7 @@ datarootdir = @datarootdir@ DOCDIR=@docdir@ # Platform-dependent assembler files to use to build the runtime -runtime_ASM_OBJECTS = @runtime_asm_objects@ +runtime_ASM_OBJECTS = $(addprefix runtime/,@runtime_asm_objects@) # Platform-dependent module for ocamlyacc ocamlyacc_WSTR_MODULE = @ocamlyacc_wstr_module@ |