diff options
| -rwxr-xr-x | scripts/genconfig.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/genconfig.sh b/scripts/genconfig.sh index b5637f86..58b99acd 100755 --- a/scripts/genconfig.sh +++ b/scripts/genconfig.sh @@ -151,6 +151,7 @@ while IFS=":" read FILE NAME do [ "$NAME" == help ] && continue [ "$NAME" == install ] && continue + [ "$NAME" == sh ] && FILE="toys/*/*.c" echo -e "$NAME: $FILE *.[ch] lib/*.[ch]\n\tscripts/single.sh $NAME\n" echo -e "test_$NAME:\n\tscripts/test.sh $NAME\n" [ "${FILE/pending//}" != "$FILE" ] && |