diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/builder_defaults.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/builder_defaults.sh b/tools/builder_defaults.sh index 26f87b5..0bdf6a3 100644 --- a/tools/builder_defaults.sh +++ b/tools/builder_defaults.sh @@ -187,7 +187,7 @@ else fi # gnid -#export GNID_REPO_BASE=${GNID_REPO_BASE:-"${GIT_REPO_BASE}/gnid.git"} +export GNID_REPO_BASE=${GNID_REPO_BASE:-"${GIT_REPO_BASE}/gnid.git"} export GNID_SRC_DIR=${GNID_SRC_DIR:-"${SCRATCHDIR}/gnid"} export GNID_BRANCH=${GNID_BRANCH:-"master"} export GNID_INCLUDE_DIR=${GNID_INCLUDE_DIR:-"${MAKEOBJDIRPREFIX}/usr/src/lib32/usr/include"} |
