1#!/bin/bash 2 3if [ -z "$OPTEE_OS_PATH" ]; then 4 OPTEE_OS_PATH="../optee_os"; 5fi 6 7source $OPTEE_OS_PATH/scripts/checkpatch.sh "$@" 8
1#!/bin/bash 2 3if [ -z "$OPTEE_OS_PATH" ]; then 4 OPTEE_OS_PATH="../optee_os"; 5fi 6 7source $OPTEE_OS_PATH/scripts/checkpatch.sh "$@" 8