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