diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/gen-deps | 5 | ||||
| -rwxr-xr-x | scripts/gen-padding | 9 |
2 files changed, 4 insertions, 10 deletions
diff --git a/scripts/gen-deps b/scripts/gen-deps index ee64022..bdc1626 100755 --- a/scripts/gen-deps +++ b/scripts/gen-deps @@ -1,6 +1,7 @@ #!/bin/sh gencommon () { + lint="build/${s%.*}${1}.l" dep="build/${s%.*}${1}.d" obj="build/${s%.*}${1}" @@ -9,7 +10,6 @@ gencommon () { echo "${dep}:" >> deps.mk echo "include ${dep}" >> deps.mk echo "${obj}: ${s}" >> deps.mk - } genlink () { @@ -21,6 +21,9 @@ genlink () { genrule () { gencommon "${1}" echo " \$(COMPILE) -c \$< -o \$@" >> deps.mk + + echo "${lint}: ${s}" >> deps.mk + echo " \$(LINT) -c \$<" >> deps.mk } case "${1}" in diff --git a/scripts/gen-padding b/scripts/gen-padding deleted file mode 100755 index 22c12f9..0000000 --- a/scripts/gen-padding +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -align="$1" -filename="$2" - -filesize=$(stat -c "%s" "${filename}") -padsize=$(echo "${filesize}" | awk "{print ${align} - (\$1 % ${align})}") - -dd if=/dev/zero ibs=1 count="${padsize}" >> "${filename}" |