Simplify a deletion
This commit is contained in:
parent
11458e36d7
commit
4e5d7a4ca0
|
@ -205,10 +205,8 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
|
||||||
|
|
||||||
mv "$out/bin/Dafny" "$out/bin/dafny"
|
mv "$out/bin/Dafny" "$out/bin/dafny"
|
||||||
|
|
||||||
rm -f "$out/bin"/System.* "$out/bin"/Microsoft.*
|
rm -f $out/bin/{coverlet,Microsoft,NUnit3,System}.*
|
||||||
rm -f "$out/bin"/NUnit3.* "$out/bin"/coverlet.*
|
rm -f $out/bin/{ThirdPartyNotices.txt,XUnitExtensions}
|
||||||
rm -f "$out/bin"/ThirdPartyNotices.txt
|
|
||||||
rm -f "$out/bin"/XUnitExtensions
|
|
||||||
'';
|
'';
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
|
|
Loading…
Reference in a new issue