Merge branch 'maint-0.4.4'

2024-12-06 19:41:15 +01:00 · 2020-08-11 11:03:25 -04:00
parent 0ee3b83a0b 673d02bdb0
commit e4ef3c61f7
3 changed files with 7 additions and 2 deletions
@@ -12,6 +12,7 @@ if ! test -x "${INCLUDES_PY}" ; then
 fi

 "${TOR}" --dbg-dump-subsystem-list | \
+    "${PYTHON:-python}" \
    "${INCLUDES_PY}" --check-subsystem-order - "${abs_top_srcdir}/src"

 echo ok