diff options
| author |   Keith Burns <alagalah@gmail.com> | 2016-06-21 11:34:28 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2016-06-21 11:34:28 +0000 |
| commit | cbc677c2de41cb3ecf4d40521995335db5cb1a71 (patch) | |
| tree | 87b12ec868fa663a3df910514db2fe392a0aa636 /scripts/ci/verify.sh | |
| parent | a72e5a1cb6637486794da3fbcdd728d5e37fb5ff (diff) | |
| parent | ea158d46051c9f2d10dfd15895dc96cd2240de5a (diff) | |
Merge "Have verify.sh use build.sh so verify checks user code path"
Diffstat (limited to 'scripts/ci/verify.sh')
| -rwxr-xr-x | scripts/ci/verify.sh | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/scripts/ci/verify.sh b/scripts/ci/verify.sh index aa73d97..78cdd6e 100755 --- a/scripts/ci/verify.sh +++ b/scripts/ci/verify.sh @@ -15,15 +15,10 @@ echo DISTRIB_RELEASE: $DISTRIB_RELEASE echo DISTRIB_CODENAME: $DISTRIB_CODENAME echo DISTRIB_DESCRIPTION: $DISTRIB_DESCRIPTION -NSH_PLUGIN_DIR=$(dirname $0)/../../nsh-plugin +NSH_PLUGIN_DIR=$(dirname $0)/../../nsh-plugin/ +NSH_PLUGIN_DIR=$(readlink -f $NSH_PLUGIN_DIR) echo "NSH_PLUGIN_DIR: ${NSH_PLUGIN_DIR}" -cd ${NSH_PLUGIN_DIR} -autoreconf -i -f -mkdir _install -mkdir _build -cd _build -../configure --prefix=$(pwd)/../../_install -make -make install +export NSH_INSTALL_PREFIX=${NSH_PLUGIN_DIR}/_install +${NSH_PLUGIN_DIR}/build.sh |