blob: 418c648e5f41f93c136d11a309334e2a9456ce37 [file] [log] [blame]
Zachary Leafb6d86302024-10-29 10:29:15 +00001#!/usr/bin/env bash
2#
3# Copyright (c) 2024 Arm Limited. All rights reserved.
4#
5# SPDX-License-Identifier: BSD-3-Clause
6#
7
Zachary Leafb6d86302024-10-29 10:29:15 +00008TF_ROOT="$1"
9TEST_CASE="Rust clippy checks"
10LOG_FILE=`mktemp -t common.XXXX`
11EXIT_VALUE=0
12
13echo "# ${TEST_CASE}"
14echo >> "$LOG_TEST_FILENAME"
15echo "****** $TEST_CASE ******" >> "$LOG_TEST_FILENAME"
16echo >> "$LOG_TEST_FILENAME"
17echo "Platforms:" >> "$LOG_TEST_FILENAME"
18
Sandrine Afsa21d4a542025-06-24 10:27:15 +020019available_platforms=$(make --silent -C ${TF_ROOT} list_platforms)
Tomás González1e64b742024-11-04 14:04:12 +000020
Tomás González2e38a602025-02-12 10:58:06 +000021# Run clippy for all platforms
Tomás González1e64b742024-11-04 14:04:12 +000022for plat in $available_platforms
Zachary Leafb6d86302024-10-29 10:29:15 +000023do
24 echo >> $LOG_FILE
25 echo "############### ${TEST_CASE} - platform: ${plat}" >> "$LOG_FILE"
26 echo >> $LOG_FILE
Sandrine Afsa21d4a542025-06-24 10:27:15 +020027 make -C ${TF_ROOT} PLAT=${plat} clippy >> "$LOG_FILE" 2>&1
Zachary Leafb6d86302024-10-29 10:29:15 +000028
29 if [ "$?" -ne 0 ]; then
30 echo -e " ${plat}\t: FAIL" >> "$LOG_TEST_FILENAME"
31 EXIT_VALUE=1
32 else
33 echo -e " ${plat}\t: PASS" >> "$LOG_TEST_FILENAME"
34 fi
35done
36
Tomás González2e38a602025-02-12 10:58:06 +000037# Now run clippy for tests
38echo >> $LOG_FILE
39echo "############### ${TEST_CASE} - platform: tests" >> "$LOG_FILE"
40echo >> $LOG_FILE
Sandrine Afsa21d4a542025-06-24 10:27:15 +020041make -C ${TF_ROOT} clippy-test >> "$LOG_FILE" 2>&1
Tomás González2e38a602025-02-12 10:58:06 +000042
43if [ "$?" -ne 0 ]; then
44 echo -e " clippy-test\t: FAIL" >> "$LOG_TEST_FILENAME"
45 EXIT_VALUE=1
46else
47 echo -e " clippy-test\t: PASS" >> "$LOG_TEST_FILENAME"
48fi
49
Zachary Leafb6d86302024-10-29 10:29:15 +000050echo >> "$LOG_TEST_FILENAME"
51if [[ "$EXIT_VALUE" == 0 ]]; then
52 echo "Result : SUCCESS" >> "$LOG_TEST_FILENAME"
53else
54 echo "Result : FAILURE" >> "$LOG_TEST_FILENAME"
55fi
56echo >> "$LOG_TEST_FILENAME"
57cat "$LOG_FILE" >> "$LOG_TEST_FILENAME"
58
59rm "$LOG_FILE"
60
61exit "$EXIT_VALUE"