diff options
Diffstat (limited to 'gc-benchmarks')
| -rwxr-xr-x | gc-benchmarks/gc-profile.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gc-benchmarks/gc-profile.scm b/gc-benchmarks/gc-profile.scm index 667886ea5..d95e29572 100755 --- a/gc-benchmarks/gc-profile.scm +++ b/gc-benchmarks/gc-profile.scm @@ -47,6 +47,9 @@ memory mapping of process @var{pid}. This information is obtained by reading (make-regexp "^Rss:[[:blank:]]+([[:digit:]]+) kB$")) + (if (not (string-contains %host-type "-linux-")) + (error "this procedure only works on Linux-based systems" %host-type)) + (with-input-from-port (open-input-file (format #f "/proc/~a/smaps" pid)) (lambda () (let loop ((line (read-line)) |