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