@echo "$< -> $@"
@# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" by "unimplemented!()".
@# Also coalesce multiple adjacent such lines to one.
@echo "$< -> $@"
@# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" by "unimplemented!()".
@# Also coalesce multiple adjacent such lines to one.