diff options
Diffstat (limited to 'icefuzz/pinloc')
| -rw-r--r-- | icefuzz/pinloc/pinloc-1k-tq144.sh | 2 | ||||
| -rw-r--r-- | icefuzz/pinloc/pinloc-8k-ct256.sh | 2 | ||||
| -rw-r--r-- | icefuzz/pinloc/pinlocdb.py | 5 |
3 files changed, 3 insertions, 6 deletions
diff --git a/icefuzz/pinloc/pinloc-1k-tq144.sh b/icefuzz/pinloc/pinloc-1k-tq144.sh index 909ecfe..463e052 100644 --- a/icefuzz/pinloc/pinloc-1k-tq144.sh +++ b/icefuzz/pinloc/pinloc-1k-tq144.sh @@ -29,5 +29,5 @@ pins=" set -ex make -f pinloc-1k-tq144.mk -j4 -python2 pinlocdb.py pinloc-1k-tq144_*.exp > pinloc-1k-tq144.txt +python3 pinlocdb.py pinloc-1k-tq144_*.exp > pinloc-1k-tq144.txt diff --git a/icefuzz/pinloc/pinloc-8k-ct256.sh b/icefuzz/pinloc/pinloc-8k-ct256.sh index 321c031..d8da2dc 100644 --- a/icefuzz/pinloc/pinloc-8k-ct256.sh +++ b/icefuzz/pinloc/pinloc-8k-ct256.sh @@ -41,4 +41,4 @@ pins=" set -ex make -f pinloc-8k-ct256.mk -j4 -python2 pinlocdb.py pinloc-8k-ct256_*.exp > pinloc-8k-ct256.txt +python3 pinlocdb.py pinloc-8k-ct256_*.exp > pinloc-8k-ct256.txt diff --git a/icefuzz/pinloc/pinlocdb.py b/icefuzz/pinloc/pinlocdb.py index 31c6476..9a3fc1e 100644 --- a/icefuzz/pinloc/pinlocdb.py +++ b/icefuzz/pinloc/pinlocdb.py @@ -1,7 +1,4 @@ -#!/usr/bin/python - -from __future__ import division -from __future__ import print_function +#!/usr/bin/env python3 import re from sys import argv |