From 65b2c9416129201ecc9aa2b22f8e72ae93d79188 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 1 May 2018 17:34:34 +0100 Subject: [PATCH] Easy access to profiling --- syndicate/ground.rkt | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/syndicate/ground.rkt b/syndicate/ground.rkt index 98b1d87..d7e7591 100644 --- a/syndicate/ground.rkt +++ b/syndicate/ground.rkt @@ -34,7 +34,7 @@ (define (signal-background-activity! delta) (ground-enqueue! delta)) -(define (run-ground boot-proc) +(define (run-ground* boot-proc) (define ch (make-async-channel)) (parameterize ((current-ground-event-async-channel ch)) (define ground-event-relay-actor #f) @@ -74,3 +74,10 @@ (loop)] [else (sync (handle-evt ground-event-relay-evt (lambda _ (loop))) (system-idle-evt))])))) + +(define (run-ground boot-proc) + (if (equal? (getenv "SYNDICATE_PROFILE") "ground") + (let () + (local-require profile) + (profile (run-ground* boot-proc))) + (run-ground* boot-proc)))