source: diffdist.sh@ 1150:8c10b07807ed

python3
Last change on this file since 1150:8c10b07807ed was 966:c7cb5b3d2c47, checked in by István Váradi <ivaradi@…>, 6 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.