diff options
Diffstat (limited to 'reproduce')
| -rw-r--r-- | reproduce/src/make/dependencies-basic.mk | 3 |
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'. |