diff options
Diffstat (limited to 'jjb/scripts/hicn')
| -rw-r--r-- | jjb/scripts/hicn/build-extras.sh | 2 | ||||
| -rw-r--r-- | jjb/scripts/hicn/build.sh | 2 | ||||
| -rw-r--r-- | jjb/scripts/hicn/checkstyle.sh | 2 | ||||
| -rw-r--r-- | jjb/scripts/hicn/docs.sh | 4 |
4 files changed, 6 insertions, 4 deletions
diff --git a/jjb/scripts/hicn/build-extras.sh b/jjb/scripts/hicn/build-extras.sh index bcf913be0..c1e0e3e1e 100644 --- a/jjb/scripts/hicn/build-extras.sh +++ b/jjb/scripts/hicn/build-extras.sh @@ -2,6 +2,8 @@ # basic build script example set -euxo pipefail +echo "---> jjb/scripts/hicn/build-extras.sh" + pushd scripts bash ./build-extras.sh popd diff --git a/jjb/scripts/hicn/build.sh b/jjb/scripts/hicn/build.sh index e1d20a48e..8dd150a74 100644 --- a/jjb/scripts/hicn/build.sh +++ b/jjb/scripts/hicn/build.sh @@ -2,6 +2,8 @@ # basic build script example set -euxo pipefail +echo "---> jjb/scripts/hicn/build.sh" + pushd scripts bash ./build-packages.sh popd diff --git a/jjb/scripts/hicn/checkstyle.sh b/jjb/scripts/hicn/checkstyle.sh index 636590e7a..451950ebb 100644 --- a/jjb/scripts/hicn/checkstyle.sh +++ b/jjb/scripts/hicn/checkstyle.sh @@ -1,5 +1,7 @@ #!/bin/bash +echo "---> jjb/scripts/hicn/checkstyle.sh" + if [ -f ./scripts/checkstyle.sh ];then bash scripts/checkstyle.sh else diff --git a/jjb/scripts/hicn/docs.sh b/jjb/scripts/hicn/docs.sh index f44b93dd1..24f47c395 100644 --- a/jjb/scripts/hicn/docs.sh +++ b/jjb/scripts/hicn/docs.sh @@ -1,18 +1,14 @@ #!/bin/bash set -xe -o pipefail -DOXYGEN_DOC_DIR="build-doxygen/docs/doxygen/html" DOC_DIR="docs/build/html" SITE_DIR="build/doc/deploy-site" echo "---> jjb/scripts/hicn/docs.sh" bash scripts/build-packages.sh sphinx -bash scripts/build-packages.sh doxygen if [[ "${JOB_NAME}" == *merge* ]]; then - mkdir -p "${SITE_DIR}"/doxygen mv -f "${DOC_DIR}" "${SITE_DIR}" - mv -f "${DOXYGEN_DOC_DIR}" "${SITE_DIR}"/doxygen find "${SITE_DIR}" -type f '(' -name '*.md5' -o -name '*.dot' -o -name '*.map' ')' -delete fi |