[submodule "src/dmtcp"]
	path = src/dmtcp
	url = https://github.com/dmtcp/dmtcp