diff --git a/coredump/coredump-python2 b/coredump/coredump-python2 new file mode 100755 index 000000000..3a15c90a3 --- /dev/null +++ b/coredump/coredump-python2 @@ -0,0 +1,6 @@ +#!/usr/bin/env python2 + +import coredump + +if __name__ == '__main__': + coredump.main() diff --git a/coredump/coredump-python3 b/coredump/coredump-python3 new file mode 100755 index 000000000..82ec6b855 --- /dev/null +++ b/coredump/coredump-python3 @@ -0,0 +1,6 @@ +#!/usr/bin/env python3 + +import coredump + +if __name__ == '__main__': + coredump.main() diff --git a/coredump/criu-coredump b/coredump/coredump.py similarity index 97% rename from coredump/criu-coredump rename to coredump/coredump.py index d3113d372..56ba54083 100755 --- a/coredump/criu-coredump +++ b/coredump/coredump.py @@ -1,4 +1,3 @@ -#!/usr/bin/env python import argparse import os diff --git a/test/others/env.sh b/test/others/env.sh index b514e87d9..e2f63eee3 100755 --- a/test/others/env.sh +++ b/test/others/env.sh @@ -13,5 +13,5 @@ fi #export PYTHON CRIT=$(readlink -f `dirname ${BASH_SOURCE[0]}`/../../crit/crit-"${PYTHON}") crit=$CRIT -CRIU_COREDUMP=$(readlink -f `dirname ${BASH_SOURCE[0]}`/../../criu-coredump/criu-coredump) +CRIU_COREDUMP=$(readlink -f `dirname ${BASH_SOURCE[0]}`/../../criu-coredump/coredump-"${PYTHON}") criu_coredump=$CRIU_COREDUMP