From 6a45f6a640dc8f7b5f9819d22d68cd79fbe3c260 Mon Sep 17 00:00:00 2001
From: Zuhaitz Méndez Fernández de Aránguiz <zuhaitz@debian>
Date: Sun, 25 Jan 2026 11:18:07 +0000
Subject: Related to #113

---
 src/main.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/main.c')

diff --git a/src/main.c b/src/main.c
index 17cbdf6..3f6a51f 100644
--- a/src/main.c
+++ b/src/main.c
@@ -47,6 +47,7 @@ void print_usage()
     printf("  -g              Debug info\n");
     printf("  -v, --verbose   Verbose output\n");
     printf("  -q, --quiet     Quiet output\n");
+    printf("  --no-zen        Disable Zen facts\n");
     printf("  -c              Compile only (produce .o)\n");
     printf("  --cpp           Use C++ mode.\n");
     printf("  --cuda          Use CUDA mode (requires nvcc).\n");
@@ -145,6 +146,10 @@ int main(int argc, char **argv)
         {
             g_config.quiet = 1;
         }
+        else if (strcmp(arg, "--no-zen") == 0)
+        {
+            g_config.no_zen = 1;
+        }
         else if (strcmp(arg, "--freestanding") == 0)
         {
             g_config.is_freestanding = 1;
-- 
cgit v1.2.3