# $1 = the line
# The formatting of this definition (e.g. the blank line above) is
# important, in order to get make to generate the right makefile code.
- for f in $(BIN_DIST_NAME)/$1; do echo $$$$f >> $(BIN_DIST_LIST); done
+ for f in $1; do echo $(BIN_DIST_NAME)/$$$$f >> $(BIN_DIST_LIST); done
endef