From 38a4765b5b39912cb2c7b72a86aa5c669c021403 Mon Sep 17 00:00:00 2001
From: Andreas Berthoud <andreasberthoud@gmail.com>
Date: Fri, 4 Jun 2021 21:44:41 +0200
Subject: [PATCH] Add python script parameter

---
 BUILD   | 3 +++
 main.py | 1 +
 2 files changed, 4 insertions(+)

diff --git a/BUILD b/BUILD
index cfe325a..b19861b 100644
--- a/BUILD
+++ b/BUILD
@@ -9,6 +9,9 @@ py_runtime(
 py_binary(
     name = "main",
     srcs = ["main.py"],
+    args = [
+        "--cool",
+    ],
     srcs_version = "PY3",
     deps = [
         requirement("pyyaml"),
diff --git a/main.py b/main.py
index 05e368e..2d17492 100644
--- a/main.py
+++ b/main.py
@@ -9,6 +9,7 @@ def main():
     print("hello from {}".format(os.getcwd()))
     print("version: {}".format(sys.version))
     print("interpreter: {}".format(sys.executable))
+    print("args: {}".format(sys.argv))
 
 
 if __name__ == "__main__":