summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakob Kaivo <jkk@ung.org>2019-01-30 21:58:07 -0500
committerJakob Kaivo <jkk@ung.org>2019-01-30 21:58:07 -0500
commit7d9b9f5410b9bd6035cc821d0eef373d027fefbb (patch)
tree289922ea6e713b33bafb69113ebad5c0ef9f26a5
parent4e4240e460fa1df577249dcbc379c7f064211d3f (diff)
sort standard C identifiers before POSIX
-rwxr-xr-xmkh.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/mkh.sh b/mkh.sh
index 6e5a68ea..d173b753 100755
--- a/mkh.sh
+++ b/mkh.sh
@@ -39,7 +39,7 @@ rm -rf $HEADER.*
for i in $(echo $@ | sort -u); do
# TODO: refs
type=$(classify_source $i)
- version=v$(grep -F -e 'STDC(' -e 'POSIX(' -e 'XOPEN(' $i | sort | tr , - | tr -d '() ')
+ version=v$(grep -F -e 'STDC(' -e 'POSIX(' -e 'XOPEN(' $i | sed -e 's/STDC/C/' | sort | tr , - | tr -d '() ')
mkdir -p $HEADER.$type
echo $i >> $HEADER.$type/$version
printf '%s <%s> (%s)\n' "$i" "$HEADER" "$version" >&2