dune-release: remove -f from rm -rf

2021-08-02 10:58:47 +02:00
parent a8f2d2ca78
commit 94f66d6b9f
1 changed files with 1 additions and 1 deletions
@@ -41,7 +41,7 @@ in buildDunePackage rec {

  preCheck = ''
    # it fails when it tries to reference "./make_check_deterministic.exe"
-    rm -fr tests/bin/check
+    rm -r tests/bin/check
  '';

  # tool specific env vars have been deprecated, use PATH