pkgs/build-support/dotnet/dotnetbuildhelpers/placate-paket.sh

   1 #!/usr/bin/env bash
   2
   3 echo Placating Paket in paket.targets
   4 find -iname paket.targets -print -exec sed --in-place=bak -e 's,mono --runtime[^<]*,true PAKET PLACATED BY buildDotnetPackage,g' {} \;
   5
   6 echo Just to be sure, replacing Paket executables by empty files.
   7 find . -iname paket\*.exe \! -size 0 -exec mv -v {} {}.bak \; -exec touch {} \;