diff options
| author | Bradley Sepos <[email protected]> | 2019-10-23 13:12:18 -0400 |
|---|---|---|
| committer | Bradley Sepos <[email protected]> | 2019-10-23 13:12:18 -0400 |
| commit | 085745264a52d8cf8f8849ed55edde485eee91a2 (patch) | |
| tree | fd6d14fdf753162495b0e88edf401f7b665082f4 | |
| parent | 77497618e23b987d0ef0460d095d4df110c629cb (diff) | |
configure: Add python3.8.
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ inpath() if ( inpath bash ); then pp="" - for p in python3 python3.7 python3.6 python3.5 python3.4 python3.3 python3.2 python3.1 python2 python2.7 python + for p in python3 python3.8 python3.7 python3.6 python3.5 python3.4 python3.3 python3.2 python3.1 python2 python2.7 python do if ( inpath $p ); then pp="$p" |