aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--reproduce/src/make/dependencies-basic.mk3
1 files changed, 3 insertions, 0 deletions
diff --git a/reproduce/src/make/dependencies-basic.mk b/reproduce/src/make/dependencies-basic.mk
index 89584cb..f2c24eb 100644
--- a/reproduce/src/make/dependencies-basic.mk
+++ b/reproduce/src/make/dependencies-basic.mk
@@ -206,6 +206,9 @@ $(ibdir)/low-level: | $(ibdir) $(ildir)
$(call makelink,ps)
$(call makelink,ranlib)
+ # Mac OS information
+ $(call makelink,sw_vers)
+
# On Mac OS, libtool is different compared to GNU Libtool. The
# libtool we'll build in the high-level dependencies has the
# executable name `glibtool'.