From 821eca02eb50cb65d41f72fe99acbebd5bc5cc7d Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Sun, 6 Mar 2011 22:27:53 +0100
Subject: Have `gc-profile.scm' make sure it's on a Linux-based system.

* gc-benchmarks/gc-profile.scm (memory-mappings): Check %HOST-TYPE for
  "-linux-".
---
 gc-benchmarks/gc-profile.scm | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'gc-benchmarks')

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))
-- 
cgit v1.2.3