diff options
Diffstat (limited to 'pkgs/development/libraries/boost/strip-header-path.sh')
-rw-r--r-- | pkgs/development/libraries/boost/strip-header-path.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/pkgs/development/libraries/boost/strip-header-path.sh b/pkgs/development/libraries/boost/strip-header-path.sh deleted file mode 100644 index f8243fc27be4..000000000000 --- a/pkgs/development/libraries/boost/strip-header-path.sh +++ /dev/null @@ -1,12 +0,0 @@ -postPhases+=" boostHeaderStripPhase" - -boostHeaderStripPhase() { - runHook preBoostHeaderStrip - [ -z "$outputs" ] && outputs=out - for output in $outputs; do - eval "path=\$$outputs" - [ -d "$path/bin" ] || continue - find "$path/bin" -type f -exec sed -i "s,[^/]*\(-boost-[0-9.]*-dev\),xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx\1,g" {} \; - done - runHook postBoostHeaderStrip -} |