source: diffdist.sh@ 1059:07ffbc5c13f8

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