From 4c1335f51e5b1bcaa3ba5092a7b400c7ab5c337d Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 30 Jul 2015 10:15:48 +0200 Subject: Replaced calls to "python" with "python2" --- icefuzz/pinloc/pinloc-8k-ct256.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'icefuzz/pinloc/pinloc-8k-ct256.sh') 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 -- cgit v1.2.3