0.7.4.8:

[sbcl.git] / src / runtime / linux-os.c

diff --git a/src/runtime/linux-os.c b/src/runtime/linux-os.c
index 69d5a41..8de2f3c 100644 (file)
--- a/src/runtime/linux-os.c
+++ b/src/runtime/linux-os.c
@@ -73,7 +73,7 @@ void os_init(void)
         * that has more than one digit initially -- CSR, 2002-02-12 */
        minor_version = atoi(name.release+2);
        if (minor_version < 4) {
-           fprintf(stderr,"linux minor version=%d;\n enabling workarounds for SPARC kernel bugs in signal handling.\n", minor_version);
+           FSHOW((stderr,"linux minor version=%d;\n enabling workarounds for SPARC kernel bugs in signal handling.\n", minor_version));
            early_kernel = 1;
        }
 #endif