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