diff options
Diffstat (limited to 'icefuzz/pinloc/pinloc-8k-ct256.sh')
| -rw-r--r-- | icefuzz/pinloc/pinloc-8k-ct256.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |