build: Set HAVE_GETOPT_H.

We can't yet tell if this header is available, perhaps we can do this with a Build Attribute?
jaqx0r · Apr 14, 2024 · 9b0a7a2 · 9b0a7a2
1 parent a57d568
commit 9b0a7a2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/BUILD b/BUILD
@@ -65,6 +65,9 @@ cc_binary(
         "filtergen.c",
         "gen.c",
     ],
+    local_defines = [
+        "HAVE_GETOPT_H",
+    ],
     deps = [
         ":version",
         "//input/filtergen:in_filtergen",