diff options
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in index 233bf6cf..3899031e 100644 --- a/src/lib/Makefile.in +++ b/src/lib/Makefile.in @@ -74,7 +74,7 @@ stamp: $(axiom_target_libdir)/libopen-axiom-core$(SHREXT) \ $(axiom_target_libdir)/libopen-axiom-core$(SHREXT): \ $(libopen_axiom_core_objects) - $(mkinstalldirs) $(axiom_target_libdir) + $(mkdir_p) $(axiom_target_libdir) $(LINK_SHRLIB) $(oa_shrlib_flags) -o $@ \ $(libopen_axiom_core_objects) \ @axiom_c_runtime_extra@ -lm |