source: diffdist.sh@ 834:5651e303daa9

Last change on this file since 834:5651e303daa9 was 189:2d89178707a0, checked in by István Váradi <ivaradi@…>, 13 years ago

Added script to create an archive of the differences

  • Property exe set to *
File size: 142 bytes
RevLine 
[189]1#!/bin/sh
2
3scriptdir=`dirname $0`
4
5PYTHONPATH="${scriptdir}/src:${PYTHONPATH}"
6export PYTHONPATH
7
8exec python "${scriptdir}/diffdist.py" "$@"
Note: See TracBrowser for help on using the repository browser.