diff options
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -230,7 +230,7 @@ generate_event_logging_sources() fi case $__BuildOS in - Linux) + Linux|FreeBSD) echo "Laying out dynamically generated EventPipe Implementation" $PYTHON -B $__PythonWarningFlags "$__ProjectRoot/src/scripts/genEventPipe.py" --man "$__ProjectRoot/src/vm/ClrEtwAll.man" --intermediate "$__GeneratedIntermediateEventPipe" --exc "$__ProjectRoot/src/vm/ClrEtwAllMeta.lst" if [[ $? != 0 ]]; then @@ -243,7 +243,7 @@ generate_event_logging_sources() #determine the logging system case $__BuildOS in - Linux) + Linux|FreeBSD) echo "Laying out dynamically generated Event Logging Implementation of Lttng" $PYTHON -B $__PythonWarningFlags "$__ProjectRoot/src/scripts/genXplatLttng.py" --man "$__ProjectRoot/src/vm/ClrEtwAll.man" --intermediate "$__GeneratedIntermediateEventProvider" if [[ $? != 0 ]]; then |