OP-TEE / optee_linuxdriver

Normal world linux driver **deprecated**
GNU General Public License v2.0
66 stars 73 forks source link

Travis: ignore FILE_PATH_CHANGES and GERRIT_CHANGE_ID in checkpatch #11

Closed pascal-brand38 closed 9 years ago

pascal-brand38 commented 9 years ago

Signed-off-by: Pascal Brand pascal.brand@st.com

jbech-linaro commented 9 years ago
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>