From: Ralf Jung Date: Wed, 18 May 2016 08:28:22 +0000 (+0200) Subject: Makefile: fix a comment X-Git-Url: https://git.ralfj.de/rust-101.git/commitdiff_plain/ba0f3868b5b76e5effcb5fb22d6bc26d790dbcc4?hp=8d09a95e8d64b2fd3a30940fcedbc41ae2c59396 Makefile: fix a comment --- diff --git a/Makefile b/Makefile index a213c07..1674606 100644 --- a/Makefile +++ b/Makefile @@ -27,7 +27,7 @@ workspace: $(WORKSPACEFILES) workspace/src/%.rs: src/%.rs Makefile dup-unimpl.sed @mkdir -p .tmp/docs @echo "$< -> $@" - @# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" by "unimplemented!()". + @# sed-fu: remove lines starting with "//@", and replace those ending in "/*@*/" or "/*@@*/" by "unimplemented!()". @# Also coalesce multiple adjacent such lines to one. @sed '/^\s*\/\/@/d;s|\(\s*\)\S.*/\*@@\?\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@