diff options
| author | Richard Hartmann <richih@debian.org> | 2015-12-16 07:23:53 +0100 |
|---|---|---|
| committer | Richard Hartmann <richih@debian.org> | 2015-12-16 07:23:53 +0100 |
| commit | 53679fdc47d9470c2540fbe38d5de38c91c3bb01 (patch) | |
| tree | e3151adb4d04e905dbb930b67cdb959fac5ea513 /Build/collect-ghc-options.sh | |
| parent | c94e89d797b15833875ebeb6adcaa6e130315f8e (diff) | |
| parent | 259c511a17669d043a573344e59eae9e9956265c (diff) | |
| download | git-repair-53679fdc47d9470c2540fbe38d5de38c91c3bb01.tar.gz | |
Merge tag '1.20151215' into debian
tagging package git-repair version 1.20151215
Diffstat (limited to 'Build/collect-ghc-options.sh')
| -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 |