diff options
author | Jan-Marek Glogowski <glogow@fbihome.de> | 2016-07-31 13:06:18 +0200 |
---|---|---|
committer | Jan-Marek Glogowski <glogow@fbihome.de> | 2016-07-31 12:48:42 +0000 |
commit | 3e241399476ca3c2e3775f485356197bb93863a9 (patch) | |
tree | 222099edb90f7627d74bc55a5230c396cbb9e2af /Makefile.in | |
parent | 4311e8fb88c334cccad6f577610e1af8ae75bc59 (diff) |
Use "dot" for "source"ing shell files
Quote from stackoverflow: "source" is non-standard and specifically
not supported in ash, dash or pdksh... it's a Bashism.
Change-Id: I4b47385c1e44c5e56bd84f23ff3645712015dcf4
Reviewed-on: https://gerrit.libreoffice.org/27746
Reviewed-by: Jan-Marek Glogowski <glogow@fbihome.de>
Tested-by: Jan-Marek Glogowski <glogow@fbihome.de>
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 85767014924a..bd52c7e2a901 100644 --- a/Makefile.in +++ b/Makefile.in @@ -46,7 +46,7 @@ $(BUILDDIR)/config_host.mk : $(wildcard \ $(BUILDDIR)/autogen.lastrun \ $(BUILDDIR)/autogen.sh \ ) \ - $(shell source $(SRCDIR)/bin/get_config_variables JAVA_HOME && \ + $(shell . $(SRCDIR)/bin/get_config_variables JAVA_HOME && \ if test -n "$${JAVA_HOME}" -a ! -d "$${JAVA_HOME}"; then echo force-restart; fi) sh -c $(SRCDIR)/autogen.sh |