summaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
authorMathias Preiner <mathias.preiner@gmail.com>2018-09-20 13:31:45 -0700
committerMathias Preiner <mathias.preiner@gmail.com>2018-09-22 16:30:59 -0700
commite86a06829491bae68cef1b2156d245874516fd17 (patch)
tree64cc697a63dc6d48f536671d951c7be5fd5e7679 /examples
parentfe83ed76f721b7bc631f75440375fce8dc35da50 (diff)
cmake: Add more documentation, some fixes and cleanup.
Diffstat (limited to 'examples')
-rw-r--r--examples/CMakeLists.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index a37cb9276..33d341ac8 100644
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -30,8 +30,8 @@ add_custom_target(runexamples
# - a list variable: set(<list name> <libs1> <libs2> ...) and pass
# as "${<list name>}"
# - a string: pass as "lib1 lib2 ..." (alternative: "lib1;lib2;...")
-# > ouput_dir: Determines the examples subdirectory and is empty (passed as
-# empty string) for the examples root director (this)
+# > output_dir: Determines the examples subdirectory and is empty (passed as
+# empty string) for the examples root directory (this)
# > ARGN: Any additional arguments passed to the macro are interpreted as
# as arguments to the test executable.
macro(cvc4_add_example name src_files libs output_dir)
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback