diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-08-19 14:00:57 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-08-19 14:00:57 -0400 |
| commit | b17cedb205501f03d0ad50c278c5d4d57d369a7c (patch) | |
| tree | f7e165d9bb3ea79c9134522debfbc527fe169be2 /Build | |
| parent | 9fc6d08fad8c7046ecc163607b9d213032aaf56a (diff) | |
| download | git-repair-b17cedb205501f03d0ad50c278c5d4d57d369a7c.tar.gz | |
merge hardneing flags and lintian rpath ignore from git-annex
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/collect-ghc-options.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Build/collect-ghc-options.sh b/Build/collect-ghc-options.sh new file mode 100755 index 0000000..4f75a72 --- /dev/null +++ b/Build/collect-ghc-options.sh @@ -0,0 +1,12 @@ +#!/bin/sh +# Generate --ghc-options to pass LDFLAGS, CFLAGS, and CPPFLAGS through ghc +# and on to ld, cc, and cpp. +for w in $LDFLAGS; do + printf -- "-optl%s\n" "$w" +done +for w in $CFLAGS; do + printf -- "-optc%s\n" "$w" +done +for w in $CPPFLAGS; do + printf -- "-optc-Wp,%s\n" "$w" +done |