Silently build runtime.

cmsc430 · Mar 7, 2024 · 3b669e8 · 3b669e8
1 parent 58e35a3
commit 3b669e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ziggy/src/build-runtime.rkt b/ziggy/src/build-runtime.rkt
@@ -7,7 +7,7 @@
 
 (unless (system (string-append "make -C '"
                                (path->string (normalize-path here))
-                               "' runtime.o"))
+                               "' -s runtime.o"))
   (error 'build-runtime "could not build runtime"))
 
 (define runtime-path