| commit | a00bfb8e548d47e69a16c517b1e40a3bd1b755f0 | [log] [tgz] |
|---|---|---|
| author | Markus S. Wamser <markus.wamser@mixed-mode.de> | Tue Oct 16 11:20:32 2018 +0200 |
| committer | Jérôme Forissier <jerome@forissier.org> | Fri Feb 21 11:14:19 2020 +0100 |
| tree | bccd9ba18806c46c60ad00d9dd76f05452421e8f | |
| parent | f356a9aa31a7659a5e2347710d530fa03d289355 [diff] [blame] |
Redirect checkpatch.sh to ../optee_os use the checkpatch-helper scripts from optee_os repo Signed-off-by: Markus S. Wamser <markus.wamser@mixed-mode.de> Acked-by: Jerome Forissier <jerome@forissier.org>
diff --git a/scripts/checkpatch.sh b/scripts/checkpatch.sh new file mode 100644 index 0000000..505706d --- /dev/null +++ b/scripts/checkpatch.sh
@@ -0,0 +1,7 @@ +#!/bin/bash + +if [ -z "$OPTEE_OS_PATH" ]; then + OPTEE_OS_PATH="../optee_os"; +fi + +source $OPTEE_OS_PATH/scripts/checkpatch.sh "$@"