From ba0f3868b5b76e5effcb5fb22d6bc26d790dbcc4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 18 May 2016 10:28:22 +0200 Subject: [PATCH 1/1] Makefile: fix a comment --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 > $@ -- 2.30.2