diff --git a/scripts/ci-build.sh b/scripts/ci-build.sh index a9dbece4..21dca5c8 100755 --- a/scripts/ci-build.sh +++ b/scripts/ci-build.sh @@ -179,17 +179,19 @@ echo "TARGET = $TARGET" echo "BRANCH = $BRANCH" echo "COMMIT = $COMMIT" echo "RELEASE = $RELEASE" +echo echo "BUILD_SDK = $BUILD_SDK" -echo "SGX_DRIVERS = $SGX_DRIVERS" -echo "SGX_GEN_3_DRIVERS = $SGX_GEN_3_DRIVERS" +echo "COPY_LICENSES" = "$COPY_LICENSES" +echo "CREATE_RELEASE_DIR" = "$CREATE_RELEASE_DIR" +echo "DL_DIR = $DL_DIR" echo "REUSE_STANDARD_DL_DIR = $REUSE_STANDARD_DL_DIR" echo "REUSE_STANDARD_SSTATE_DIR = $REUSE_STANDARD_SSTATE_DIR" -echo "DL_DIR = $DL_DIR" -echo "SSTATE_DIR = $DL_DIR" echo "RM_WORK = $RM_WORK" -echo "STANDARD_RELEASE_BUILD" = "$STANDARD_RELEASE_BUILD" +echo "SGX_DRIVERS = $SGX_DRIVERS" +echo "SGX_GEN_3_DRIVERS = $SGX_GEN_3_DRIVERS" echo "SOURCE_ARCHIVE" = "$SOURCE_ARCHIVE" -echo "COPY_LICENSES" = "$COPY_LICENSES" +echo "SSTATE_DIR = $DL_DIR" +echo "STANDARD_RELEASE_BUILD" = "$STANDARD_RELEASE_BUILD" # build steps cd "$BASEDIR/gdp-src-build"