We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 51a1ecd commit 3423a36Copy full SHA for 3423a36
tools/check-code.sh
@@ -178,6 +178,15 @@ then
178
ret=1
179
fi
180
181
+matches=$(git grep $opts '(IsNaN|IsFinite)\(\.*head.*\)' '**/MIES_*.ipf' '**/UTF*.ipf')
182
+
183
+if [[ -n "$matches" ]]
184
+then
185
+ echo "The IsValidHeadstage/IsAssociatedChannel check failed and found the following occurences:"
186
+ echo "$matches"
187
+ ret=1
188
+fi
189
190
# ripgrep checks
191
192
files=$(git ls-files '*.ipf' '*.sh' '*.rst' '*.dot' '*.md' ':!:**/releasenotes_template.rst' ':^*/IPA_Control.ipf')
0 commit comments