christos 7e81d727bc Consistently use ${RELEASEDIR}/${RELEASEMACHINE} instead of ... ${RELEASEDIR}/${MACHINE} (Paul Ripke)		2019-09-23 13:42:30 +00:00
..
efiboot	Consistently use ${RELEASEDIR}/${RELEASEMACHINE} instead of	2019-09-23 13:42:30 +00:00
cat.c
copy.c
ls.c