Closed mbien closed 3 years ago
Hi, I want to merge this pull request, but I'd like to keep the makefile around for a little while if that's OK?
Hi, I want to merge this pull request, but I'd like to keep the makefile around for a little while if that's OK?
sure no problem. Changed last commit so that it doesn't remove the Makefile.
thanks for pulling. @chflood @shipilev I have a CRIU binding using panama here btw https://github.com/mbien/JCRIU/ Panama is pretty cool, like modern gluegen. Currently experimenting with the rootless branch.
note: this PR assumes PR #1 is already merged