#
# make CMD='echo $$p'
# does echo $p once for all platforms
#

SHELL=/bin/sh
PLATFORMS=hp700_ux90 i386_linux2 i386_nbsd1 pmax_ul4 sgi_53 sun4x_55

all:
	for p in $(PLATFORMS); do \
	$(CMD); done