source:
diffdist.sh@
968:1128dfecb282
Last change on this file since 968:1128dfecb282 was 966:c7cb5b3d2c47, checked in by , 5 years ago | |
---|---|
|
|
File size: 143 bytes |
Line | |
---|---|
1 | #!/bin/sh |
2 | |
3 | scriptdir=`dirname $0` |
4 | |
5 | PYTHONPATH="${scriptdir}/src:${PYTHONPATH}" |
6 | export PYTHONPATH |
7 | |
8 | exec python3 "${scriptdir}/diffdist.py" "$@" |
Note:
See TracBrowser
for help on using the repository browser.