source: diffdist.sh@ 1156:8d9eb69a4c39

python3
Last change on this file since 1156:8d9eb69a4c39 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.