diff options
Diffstat (limited to 'extract-function-header.sh')
-rwxr-xr-x | extract-function-header.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/extract-function-header.sh b/extract-function-header.sh index 3535e3c37..36676db06 100755 --- a/extract-function-header.sh +++ b/extract-function-header.sh @@ -21,18 +21,21 @@ cat <<"EOF" EOF +if [ -z "${BITWIDTH}" ]; then + BITWIDTH=64 +fi + while IFS= read -r line; do case "$line" in *"λ '"*) echo -n "void force_inline $funcname(" - echo -n "uint64_t* out" + echo -n "uint${BITWIDTH}_t* out" echo "$line" | grep -owP -- '\w+\d+' | \ while IFS= read -r arg; do - echo -n ", uint64_t $arg" + echo -n ", uint${BITWIDTH}_t $arg" done echo ');' break ;; esac done - |