Add profile for benchmarking

PRL-PRG · Sep 9, 2024 · 3540570 · 3540570
1 parent dc6bb5a
commit 3540570
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/client/rsh/inst/benchmarks/Rprofile.site b/client/rsh/inst/benchmarks/Rprofile.site
@@ -0,0 +1,6 @@
+options(error = function() {
+  traceback(3)
+  quit(status = 1, save = "no")
+})
+
+# vim: set ft=r: