Skip to content

Fix missing 'fi' statement (#3133)

James Willenbring requested to merge bartlettroscoe:3133-fix-missing-fi into develop

Created by: bartlettroscoe

@trilinos/framework, @rppawlo

Description

Adds back a missing 'fi' statement got deleted accidentally when resolving a merge conflict.

This should fix this script for PR testing.

Motivation and Context

Current PRs are crashing due to this (e.g. #3300, #3301). Therefore, it is urgent to get this merged.

How Has This Been Tested?

I did not test this. I fixed this by inspection. It is a one-line change.

Checklist

  • My commit messages mention the appropriate GitHub issue numbers.

Merge request reports