source: diffdist.sh@ 1091:190a836956c0

python3
Last change on this file since 1091:190a836956c0 was 966:c7cb5b3d2c47, checked in by István Váradi <ivaradi@…>, 5 years ago

The distribution difference generator script is run with Python 3

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