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