foozy@708: #!/bin/bash
foozy@708: 
foozy@708: cp $EXAMPLE_DIR/data/remove-redundant-null-checks.patch .
foozy@708: 
foozy@708: #$ name: tools
foozy@708: diffstat -p1 remove-redundant-null-checks.patch
foozy@708: 
foozy@708: filterdiff -i '*/video/*' remove-redundant-null-checks.patch
foozy@708: 
foozy@708: #$ name: lsdiff
foozy@708: lsdiff -nvv remove-redundant-null-checks.patch