diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2013-03-26 17:03:21 +0100 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2013-03-26 17:21:46 +0100 |
| commit | d3f7d05d1b9bb29e168c49bda1e1a28734567993 (patch) | |
| tree | d82878a2d17d3618e4ccff1d9f503457d85846c3 /Makefile.in | |
| parent | cec22e4510bb0a196717cf5a68a405c0c34ec295 (diff) | |
Clean up OOO_SHELL
...which is no longer used. Also, use the detected BASH value in Makefile.in
instead of re-detecting there. (Though setting SHELL in Makefile.in is likely
bogus anyway, cf. "this is overridden by solenv/gbuild/gubild.mk [...] i don't
know what needs the 'SHELL=bash' in top-level makefile",
<http://lists.freedesktop.org/archives/libreoffice/2013-March/048552.html> "Re:
need help with shell / configure.")
Change-Id: I09c8b5eb9fb1244321d1fb998bb78e458e8ebf37
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 626c726746c2..79740bb3c670 100644 --- a/Makefile.in +++ b/Makefile.in @@ -13,7 +13,7 @@ ifeq ($(MAKECMDGOALS),) MAKECMDGOALS:=all endif -SHELL=/usr/bin/env bash +SHELL=@BASH@ SRCDIR := @SRC_ROOT@ BUILDDIR := @BUILDDIR@ |