vere: add --serf-bin option to provide path to serf (#566)

Addresses #564
urbit · Jan 10, 2024 · b5cf1d7 · b5cf1d7
2 parents 4e978e0 + 420ee42
commit b5cf1d7
Showing 1 changed file with 10 additions and 5 deletions.
diff --git a/pkg/vere/main.c b/pkg/vere/main.c
@@ -269,11 +269,12 @@ _main_getopt(c3_i argc, c3_c** argv)
     { "scry-into",           required_argument, NULL, 'Y' },
     { "scry-format",         required_argument, NULL, 'Z' },
     //
-    { "urth-loom",           required_argument, NULL, 5 },
-    { "no-demand",           no_argument,       NULL, 6 },
-    { "swap",                no_argument,       NULL, 7 },
-    { "swap-to",             required_argument, NULL, 8 },
-    { "toss",                required_argument, NULL, 9 },
+    { "urth-loom",           required_argument, NULL,  5 },
+    { "no-demand",           no_argument,       NULL,  6 },
+    { "swap",                no_argument,       NULL,  7 },
+    { "swap-to",             required_argument, NULL,  8 },
+    { "toss",                required_argument, NULL,  9 },
+    { "serf-bin",            required_argument, NULL, 10 },
     //
     { NULL, 0, NULL, 0 },
   };
@@ -309,6 +310,10 @@ _main_getopt(c3_i argc, c3_c** argv)
         }
         break;
       }
+      case 10: {  // serf-bin
+        u3_Host.wrk_c = strdup(optarg);
+        break;
+      }
       //  special args
       //
       case c3__loom: {