git.iko.soy/streamly
on master help sign in
Add a comment about the --dev-build option
a020690Harendra Kumar
benchmark/bench-report/bin/bench-runner.sh+2
compare with master
unifiedsplit
@@ -506,6 +506,8 @@ do
506 --sort-by-name) SORT_BY_NAME=1; shift ;;
506 --sort-by-name) SORT_BY_NAME=1; shift ;;
507 --graphs) GRAPH=1; shift ;;
507 --graphs) GRAPH=1; shift ;;
508 --no-measure) MEASURE=0; shift ;;
508 --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.
509 --dev-build) RUNNING_DEVBUILD=1; shift ;;
511 --dev-build) RUNNING_DEVBUILD=1; shift ;;
510 --use-nix) USE_NIX=1; shift ;;
512 --use-nix) USE_NIX=1; shift ;;
511 --use-gauge) USE_GAUGE=1; shift ;;
513 --use-gauge) USE_GAUGE=1; shift ;;