Skip to content

Commit 2a72344

Browse files
committed
fix tools
1 parent 4d287d0 commit 2a72344

1 file changed

Lines changed: 19 additions & 6 deletions

File tree

ci/build.sh

Lines changed: 19 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -303,8 +303,6 @@ for EXAMPLE_NAME in "${ALL_EXAMPLES[@]}"; do
303303
--arch "$ARCH_TA" \
304304
$TA_STD_FLAG; then
305305
echo " ✓ TA installed successfully"
306-
# Clean up build artifacts
307-
$CARGO_OPTEE clean
308306
else
309307
echo " ✗ ERROR: Failed to install TA: $TA_DIR"
310308
FAILED_EXAMPLES="$FAILED_EXAMPLES\n - $EXAMPLE_NAME ($TA_DIR)"
@@ -350,8 +348,6 @@ for EXAMPLE_NAME in "${ALL_EXAMPLES[@]}"; do
350348
--optee-client-export "$OPTEE_CLIENT_EXPORT" \
351349
--arch "$ARCH_HOST"; then
352350
echo " ✓ CA installed successfully"
353-
# Clean up build artifacts
354-
$CARGO_OPTEE clean
355351
else
356352
echo " ✗ ERROR: Failed to install CA: $CA_DIR"
357353
FAILED_EXAMPLES="$FAILED_EXAMPLES\n - $EXAMPLE_NAME ($CA_DIR)"
@@ -396,8 +392,6 @@ for EXAMPLE_NAME in "${ALL_EXAMPLES[@]}"; do
396392
--optee-client-export "$OPTEE_CLIENT_EXPORT" \
397393
--arch "$ARCH_HOST"; then
398394
echo " ✓ Plugin installed successfully"
399-
# Clean up build artifacts
400-
$CARGO_OPTEE clean
401395
else
402396
echo " ✗ ERROR: Failed to install Plugin: $PLUGIN_DIR"
403397
FAILED_EXAMPLES="$FAILED_EXAMPLES\n - $EXAMPLE_NAME ($PLUGIN_DIR)"
@@ -415,6 +409,25 @@ for EXAMPLE_NAME in "${ALL_EXAMPLES[@]}"; do
415409
echo "✓ Example $EXAMPLE_NAME completed successfully"
416410
done
417411

412+
echo ""
413+
echo "==========================================="
414+
echo " WORKSPACE TARGET DISK USAGE"
415+
echo "==========================================="
416+
417+
TARGET_DIRS=()
418+
if [ -d "$EXAMPLES_DIR/ta/target" ]; then
419+
TARGET_DIRS+=("$EXAMPLES_DIR/ta/target")
420+
fi
421+
if [ -d "$EXAMPLES_DIR/ca/target" ]; then
422+
TARGET_DIRS+=("$EXAMPLES_DIR/ca/target")
423+
fi
424+
425+
if [ "${#TARGET_DIRS[@]}" -gt 0 ]; then
426+
du -sch "${TARGET_DIRS[@]}"
427+
else
428+
echo "No workspace target directories were created."
429+
fi
430+
418431
# Summary
419432
echo ""
420433
echo "==========================================="

0 commit comments

Comments
 (0)