[ooo-build] [PATCH/RFC] Fix --disable-extensions build

[Jonathan Nieder]

* bin/unpack: do not look for src/clone/extensions unless
  $ENABLE_EXTENSIONS is YES.
---
Jonathan Nieder wrote:

> I suspect something in my
> particular choice of configure options does not work.

Yep.  Rerunning ./configure with --enable- in place of
--disable-extensions seems to get past that hurdle.

The following even seems to work okay with --disable-extensions
(it's building now).

 bin/unpack |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)

diff --git a/bin/unpack b/bin/unpack
index 993e381..ce4a425 100755
--- a/bin/unpack
+++ b/bin/unpack
@@ -87,7 +87,11 @@ if test "z$SYSTEM_GCC" = "z"; then
 fi
 
 # this will become the 'normal' way to do an all-through build name is misleading
-ALL_CORE_PKGS="sdk ure base calc help extras writer impress artwork filters testing bootstrap libs-gui libs-core libs-extern libs-extern-sys components postprocess extensions"
+ALL_CORE_PKGS="sdk ure base calc help extras writer impress artwork filters testing bootstrap libs-gui libs-core libs-extern libs-extern-sys components postprocess"
+if test "$ENABLE_EXTENSIONS" = "YES"
+then
+	ALL_CORE_PKGS="$ALL_CORE_PKGS extensions"
+fi
 if test "z$OOO_GIT" = "z" ; then
     if test "z$SPLIT" = "zyes" ; then
 	if test "z$PIECE" != "z"; then
-- 
1.7.2.1.544.ga752d.dirty