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