view scripts/lint_all.sh @ 605:3875bb31cc10

And here's the function that run ffmpeg to make the movie from PNGs.
author dicklyon@google.com
date Thu, 09 May 2013 04:00:25 +0000
parents 01eba86df030
children
line wrap: on
line source
#!/bin/bash
find -E . -iregex ".*\.(h|cc|c)" | grep -v "ConvertUTF" | grep -v "SimpleIni" | xargs lint/cpplint.py --filter=-build/header_guard