Simplify running tests.

debian/dune-debian.mk

@@ -7,14 +7,12 @@ DUNE_DEBIAN_SHLIB = $(subst ~,.,lib$(DEB_SOURCE)-$(DEB_VERSION_UPSTREAM))
 override_dh_auto_configure:
 	dh_auto_configure -- -DBUILD_SHARED_LIBS=1
 
+# OpenMPI looks for a rsh program, even when it only starts local processes.
+export OMPI_MCA_plm_rsh_agent=/bin/false
+
 override_dh_auto_test:
-	# OpenMPI expects rsh/ssh to be in PATH even when it only starts local processes:
-	mkdir debian/tmp-test
-	ln -s /bin/false debian/tmp-test/ssh
-	ln -s /bin/false debian/tmp-test/rsh
 	dh_auto_build -- build_tests
 	cd build; PATH=$(CURDIR)/debian/tmp-test:$$PATH $(DUNE_CTEST)
-	rm -rf debian/tmp-test
 
 override_dh_gencontrol:
 	dh_gencontrol -- -Vdune:shared-library='$(DUNE_DEBIAN_SHLIB)'