Commit 310bb48a authored by Erik Michaels-Ober's avatar Erik Michaels-Ober
Browse files

Merge pull request #272 from onibox/make-env-var

Support selection of 'make' tool via environment variable
parents 97879ca6 898c008e
Loading
Loading
Loading
Loading
+4 −2
Original line number Diff line number Diff line
@@ -2,6 +2,8 @@

RUBY_BUILD_VERSION="20130118"

MAKE=${MAKE:-make}

set -E
exec 3<&2 # preserve original stderr at fd 3

@@ -319,8 +321,8 @@ build_package_standard() {
  fi

  { ./configure --prefix="$PREFIX_PATH" $CONFIGURE_OPTS
    make $MAKE_OPTS
    make install
    $MAKE $MAKE_OPTS
    $MAKE install
  } >&4 2>&1
}