diff options
| author | Eric Anholt <eric@anholt.net> | 2008-02-21 13:33:10 -0800 |
|---|---|---|
| committer | Eric Anholt <eric@anholt.net> | 2008-02-21 13:33:10 -0800 |
| commit | 088b8e45ecb2f493ae03cf6ce223debffd029b1b (patch) | |
| tree | 5593bcff8e138f16781ba0a9d72f7a00dc691344 /piglit-run.py | |
| parent | dace812dae304fd1ce3f765d0e04effeb203cf91 (diff) | |
Use /usr/bin/env python instead of /usr/bin/python for portability.
Diffstat (limited to 'piglit-run.py')
| -rwxr-xr-x | piglit-run.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/piglit-run.py b/piglit-run.py index c775af873..9e5be12f4 100755 --- a/piglit-run.py +++ b/piglit-run.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # Permission is hereby granted, free of charge, to any person # obtaining a copy of this software and associated documentation |