android: try harder to force PIE for android 5+

This may work around ghc's -no-pie flag. Untested.
This commit is contained in:
Joey Hess 2018-04-16 17:30:21 -04:00
parent f4e1cd2a8a
commit 1bed62bda9
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
4 changed files with 62 additions and 38 deletions

View file

@ -6,5 +6,6 @@ if (grep { $_ eq "-r" || $_ eq "--relocatable" } @ARGV) {
exec($prog,@ARGV) || die "failed to run $prog";
}
else {
exec($prog,@opts,@ARGV) || die "failed to run $prog";
my @args=grep { ! m/-no-pie/ } @ARGV;
exec($prog,@opts,@args) || die "failed to run $prog";
}