diff options
Diffstat (limited to 'src/boot/Makefile.in')
-rw-r--r-- | src/boot/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/boot/Makefile.in b/src/boot/Makefile.in index c4de5c79..6c136b1d 100644 --- a/src/boot/Makefile.in +++ b/src/boot/Makefile.in @@ -450,8 +450,7 @@ bemol_SOURCES = \ bemol.cc bemol_LDADD = \ - -L$(oa_target_libdir) -lOpenAxiom \ - -L$(top_builddir)/src/syntax -lsyntax + -L$(oa_target_libdir) -lOpenAxiom oa_target_bootdir = $(oa_targetdir)/boot @OA_ECL_RT_FALSE@oa_bootsys_linkset = |