From 09d1509ad36c538eea526d04b9f8fe4585b2fbf6 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Mon, 8 Aug 2022 12:33:30 -0700
Subject: [PATCH] Simplify a deletion in Boogie

---
 pkgs/top-level/dotnet-packages.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix
index e9175b6909e7..53d9d51ad4c6 100644
--- a/pkgs/top-level/dotnet-packages.nix
+++ b/pkgs/top-level/dotnet-packages.nix
@@ -154,9 +154,7 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
 
     postFixup = ''
         ln -s "$out/bin/BoogieDriver" "$out/bin/boogie"
-        rm -f "$out/bin"/System.* "$out/bin"/Microsoft.*
-        rm -f "$out/bin"/NUnit3.*
-        rm -f "$out/bin"/*Tests
+        rm -f $out/bin/{Microsoft,NUnit3,System}.* "$out/bin"/*Tests
     '';
 
     meta = with lib; {