2 # Parent 057a8d8aa7840a37aa9c9ca2471ba4e553335975
4 diff -r 057a8d8aa784 bin/ptxdist
5 --- a/bin/ptxdist Wed Jun 08 18:54:37 2011 +0200
6 +++ b/bin/ptxdist Wed Jun 08 18:58:39 2011 +0200
11 +export PATH=$(dirname $(readlink -f /usr/bin/ptxdist)):$PATH
13 declare -a PTXDIST_ARGS_FULL
14 declare -a PTXDIST_ARGS_SECOND PTX_MAKE_ARGS