Origin for each line in dumpon.init.mk from check-in 7a1e7f4a58:

7a1e7f4a58 2019-10-21        arcade: DUMPDEV?=no
7a1e7f4a58 2019-10-21        arcade: 
7a1e7f4a58 2019-10-21        arcade: dumpon: random
7a1e7f4a58 2019-10-21        arcade: 	test -e ${DUMPDEV} && { \
7a1e7f4a58 2019-10-21        arcade: 	  echo "MRC:$@> Setting dumpon device to ${DUMPDEV}"; \
7a1e7f4a58 2019-10-21        arcade: 	  dumpon -v ${DUMPDEV}; \
7a1e7f4a58 2019-10-21        arcade: 	} || true