source: diffdist.sh@ 1187:3a358a28241e

python3
Last change on this file since 1187:3a358a28241e 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
RevLine 
[189]1#!/bin/sh
2
3scriptdir=`dirname $0`
4
5PYTHONPATH="${scriptdir}/src:${PYTHONPATH}"
6export PYTHONPATH
7
[966]8exec python3 "${scriptdir}/diffdist.py" "$@"
Note: See TracBrowser for help on using the repository browser.