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 |
2 files changed, 2 insertions, 2 deletions
diff --git a/icefuzz/pinloc/pinloc-1k-tq144.sh b/icefuzz/pinloc/pinloc-1k-tq144.sh index 64f9f69..909ecfe 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 -python pinlocdb.py pinloc-1k-tq144_*.exp > pinloc-1k-tq144.txt +python2 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 d3cf419..321c031 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 -python pinlocdb.py pinloc-8k-ct256_*.exp > pinloc-8k-ct256.txt +python2 pinlocdb.py pinloc-8k-ct256_*.exp > pinloc-8k-ct256.txt |