diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/gen-deps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gen-deps.sh b/tools/gen-deps.sh index c6d6971..cff90ad 100755 --- a/tools/gen-deps.sh +++ b/tools/gen-deps.sh @@ -87,7 +87,7 @@ for dir in $(ls -1 src | grep -v ^include) ; do if echo $dep | grep -q -- \\.o$ ; then dep="src/$dir/$dep" fi - if echo $dep | grep -q -- '^\${.*_LIB}' ; then + if echo $dep | grep -q -e ^-l -e '^\${.*_LIB}' ; then libs="$libs $dep" else deps="$deps $dep" |