savedcmd_wct4xxp/wct4xxp.mod := printf '%s\n'   base.o vpm450m.o | awk '!x[$$0]++ { print("wct4xxp/"$$0) }' > wct4xxp/wct4xxp.mod