9os

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 80f0801a72e1d232ac229a5fb75f699172e3bee7
parent af4ea8ced99f5e4bda657ce2a8b3246051817253
Author: Dimitris Papastamos <dimitris.papastamos@arm.com>
Date:   Fri,  9 Nov 2018 15:26:47 +0000

[scripts] Bring back the cat of death

Change-Id: I135cd6bc469500a22c9e53358a872ad12f49b44c
Signed-off-by: Dimitris Papastamos <dimitris.papastamos@arm.com>

Diffstat:
Mscripts/gendlang.sh | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/gendlang.sh b/scripts/gendlang.sh @@ -23,7 +23,8 @@ done out=${out-dlang.h} -tr 'A-Z' 'a-z' $@ | +cat $@ | +tr 'A-Z' 'a-z' | sed 's/\./_/' | cat <<EOF >$$.tmp && mv $$.tmp $out #include <stddef.h>