diff options
-rwxr-xr-x | tools/gen-deps.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/gen-deps.sh b/tools/gen-deps.sh index 5c96dd1..3f6838e 100755 --- a/tools/gen-deps.sh +++ b/tools/gen-deps.sh @@ -65,9 +65,13 @@ for dir in $(ls -1 src | grep -v ^include) ; do deps="$deps src/$dir/$dep" fi done < src/$dir/deps-lib/$file + echo 'ifeq ($(strip $(DEFAULT_PIE)),)' echo "lib${file}.a.xyzzy:$deps" + echo else + echo "lib${file}.a.xyzzy:$(echo "$deps" | sed 's/\.o$/.lo/g')" + echo endif echo "lib${file}.so.xyzzy: EXTRA_LIBS :=$libs" - echo "lib${file}.so.xyzzy:$(echo "$deps" | sed 's/\.o/.lo/g')" + echo "lib${file}.so.xyzzy:$(echo "$deps" | sed 's/\.o$/.lo/g')" done for file in $(ls -1 src/$dir/deps-exe) ; do |