echo '$$'"libexecdir='$(libdir)';" >> bin/$(platform)/$$i ; \
echo '$$'"datadir='$(datadir)';" >> bin/$(platform)/$$i ; \
echo '$$'"SED='$(SED)';" >> bin/$(platform)/$$i ; \
echo '$$'"libexecdir='$(libdir)';" >> bin/$(platform)/$$i ; \
echo '$$'"datadir='$(datadir)';" >> bin/$(platform)/$$i ; \
echo '$$'"SED='$(SED)';" >> bin/$(platform)/$$i ; \
echo '$$'"libexecdir='$(libdir)';" >> lib/$(platform)/$$i ; \
echo '$$'"datadir='$(datadir)';" >> lib/$(platform)/$$i ; \
echo '$$'"SED='$(SED)';" >> lib/$(platform)/$$i ; \
echo '$$'"libexecdir='$(libdir)';" >> lib/$(platform)/$$i ; \
echo '$$'"datadir='$(datadir)';" >> lib/$(platform)/$$i ; \
echo '$$'"SED='$(SED)';" >> lib/$(platform)/$$i ; \
echo "libexecdir='$(libdir)'" >> bin/$(platform)/$$i ; \
echo "datadir='$(datadir)'" >> bin/$(platform)/$$i ; \
echo "SED='$(SED)'" >> bin/$(platform)/$$i ; \
echo "libexecdir='$(libdir)'" >> bin/$(platform)/$$i ; \
echo "datadir='$(datadir)'" >> bin/$(platform)/$$i ; \
echo "SED='$(SED)'" >> bin/$(platform)/$$i ; \