Add a comment about the --dev-build option
commita0206907dab8cf2d5d339e794bd4d61bba37a634
authorHarendra Kumar <harendra@composewell.com>
dateWed 1 Dec 2021, 03:13 (5 years ago)
parent8f69a6b
benchmark/bench-report/bin/bench-runner.sh+2
@@ -506,6 +506,8 @@ do
506506 --sort-by-name) SORT_BY_NAME=1; shift ;;
507507 --graphs) GRAPH=1; shift ;;
508508 --no-measure) MEASURE=0; shift ;;
509+ # This is used in build-lib.sh to enable dev_build function which is used
510+ # in targets.sh to enable or disable some targets.
509511 --dev-build) RUNNING_DEVBUILD=1; shift ;;
510512 --use-nix) USE_NIX=1; shift ;;
511513 --use-gauge) USE_GAUGE=1; shift ;;