diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-01-07 15:48:11 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-01-07 15:48:11 -0400 |
commit | 69b66353595285bd8617479457e51692758ef324 (patch) | |
tree | 33b6be9f606caa8e989940279e0488d5a205692a /standalone/android/wrapper.pl | |
parent | 1721e743fac762dd14c66ff918a34011671f39a0 (diff) |
smarter wrapper; detect -r link option
/home/builder/.ghc/android-14/arm-linux-androideabi-4.8/bin/../lib/gcc/arm-linux-androideabi/4.8/../../../../arm-linux-androideabi/bin/ld: fatal error: -pie and -r are incompatible
Diffstat (limited to 'standalone/android/wrapper.pl')
-rw-r--r-- | standalone/android/wrapper.pl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/standalone/android/wrapper.pl b/standalone/android/wrapper.pl new file mode 100644 index 000000000..ae484a6cf --- /dev/null +++ b/standalone/android/wrapper.pl @@ -0,0 +1,12 @@ +#!/usr/bin/perl +my $prog=q{PROG}; # replaced +my @opts=qw{OPTS}; # replaced + +if (grep { $_ eq "-r" || $_ eq "--relocatable" } @ARGV) { + print "running $prog withthout extra opts, as relocatable build detected\n"; + exec($prog,@ARGV) || die "failed to run $prog"; +} +else { + print "running $prog with extra opts @opts\n"; + exec($prog,@opts,@ARGV) || die "failed to run $prog"; +} |