rename --check to --profile (was copy paste error)
This commit is contained in:
parent
0f47558e3a
commit
5dc60d3a3c
@ -11,7 +11,7 @@
|
|||||||
# autocmake.yml configuration::
|
# autocmake.yml configuration::
|
||||||
#
|
#
|
||||||
# docopt: "--profile Enable profiling [default: False]"
|
# docopt: "--profile Enable profiling [default: False]"
|
||||||
# define: "'-DENABLE_PROFILING={0}'.format(arguments['--check'])"
|
# define: "'-DENABLE_PROFILING={0}'.format(arguments['--profile'])"
|
||||||
|
|
||||||
option(ENABLE_PROFILING "Enable profiling" OFF)
|
option(ENABLE_PROFILING "Enable profiling" OFF)
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user