Update a comment to reflect the possible values for the LITANI enviro…

…nment variable
model-checking · Jul 12, 2022 · ed43a73 · ed43a73
1 parent 41e8fc7
commit ed43a73
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/cbmc_starter_kit/setup.py b/src/cbmc_starter_kit/setup.py
@@ -33,7 +33,9 @@ def parse_arguments():
 """
 
 LITANI_TEXT = """
-# Absolute path to the litani script.
+# How to invoke litani.
+# Use "litani" when litani is present in PATH.
+# Use an absolute path when litani is included as a git submodule.
 #
 LITANI ?= {}
 """