diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-08-22 09:54:21 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-08-22 09:54:21 +0200 |
| commit | 8d1956f0da234102d819cf3cd789d384e42128ee (patch) | |
| tree | af6e04d68788db94419feeab80604feb169ad446 /scripts/smt2-bmc | |
| parent | c6ee9522dfb17bb19ab5a40f58ecf668d65ac235 (diff) | |
| download | picorv32-8d1956f0da234102d819cf3cd789d384e42128ee.tar.gz picorv32-8d1956f0da234102d819cf3cd789d384e42128ee.zip | |
Using "#!/usr/bin/env python3"
Diffstat (limited to 'scripts/smt2-bmc')
| -rw-r--r-- | scripts/smt2-bmc/async.py | 2 | ||||
| -rw-r--r-- | scripts/smt2-bmc/smtio.py | 2 | ||||
| -rw-r--r-- | scripts/smt2-bmc/sync.py | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/scripts/smt2-bmc/async.py b/scripts/smt2-bmc/async.py index 7606440..6113714 100644 --- a/scripts/smt2-bmc/async.py +++ b/scripts/smt2-bmc/async.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import os, sys, getopt from time import time diff --git a/scripts/smt2-bmc/smtio.py b/scripts/smt2-bmc/smtio.py index 1e37eb0..bdd8100 100644 --- a/scripts/smt2-bmc/smtio.py +++ b/scripts/smt2-bmc/smtio.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import sys import subprocess diff --git a/scripts/smt2-bmc/sync.py b/scripts/smt2-bmc/sync.py index 6f35841..d46af3a 100644 --- a/scripts/smt2-bmc/sync.py +++ b/scripts/smt2-bmc/sync.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import os, sys, getopt from time import time |