From 97e6fda4175688c818dff400e791c52a0523e35e Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Sat, 9 Feb 2019 16:37:49 -0500 Subject: handle references better --- mkh.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'mkh.sh') diff --git a/mkh.sh b/mkh.sh index f0129915..3b59b703 100755 --- a/mkh.sh +++ b/mkh.sh @@ -43,9 +43,14 @@ rm -rf $HEADER.* for i in $(grep -l "#include <$HEADERNAME>" $(cat "${TOPDIR}/.deps/all.c" "${TOPDIR}/.deps/all.ref") | sort -u); do # TODO: refs type=$(classify_source $i) + source=$i + if [ $type = "REFERENCE" ]; then + source=src/$(grep REFERENCE $i | m4 -DREFERENCE='$1') + type=$(classify_source $source) + fi version=v$(grep -F -e 'STDC(' -e 'POSIX(' -e 'XOPEN(' $i | sed -e 's/STDC/C/' | sort | tr , - | tr -d '() \n') mkdir -p $HEADER.$type - echo $i >> $HEADER.$type/$version + echo $source >> $HEADER.$type/$version printf '%s <%s> (%s)\n' "$i" "$HEADER" "$version" >&2 done -- cgit v1.2.1