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

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