From 70d11a5e28290e7327beba8f804ed33bd2c9d08c Mon Sep 17 00:00:00 2001 From: Jack Lloyd Date: Mon, 4 Sep 2017 11:25:49 -0400 Subject: Script the Windows CI build --- configure.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'configure.py') diff --git a/configure.py b/configure.py index 121bef0af..2b64798d3 100755 --- a/configure.py +++ b/configure.py @@ -1131,22 +1131,22 @@ class CompilerInfo(InfoObject): # pylint: disable=too-many-instance-attributes if options.with_coverage_info: if self.coverage_flags == '': - raise InternalError('No coverage handling for %s' % (self.basename)) + raise UserError('No coverage handling for %s' % (self.basename)) abi_link.append(self.coverage_flags) if options.with_sanitizers: if self.sanitizer_flags == '': - raise InternalError('No sanitizer handling for %s' % (self.basename)) + raise UserError('No sanitizer handling for %s' % (self.basename)) abi_link.append(self.sanitizer_flags) if options.with_openmp: if 'openmp' not in self.mach_abi_linking: - raise InternalError('No support for OpenMP for %s' % (self.basename)) + raise UserError('No support for OpenMP for %s' % (self.basename)) abi_link.append(self.mach_abi_linking['openmp']) if options.with_cilkplus: if 'cilkplus' not in self.mach_abi_linking: - raise InternalError('No support for Cilk Plus for %s' % (self.basename)) + raise UserError('No support for Cilk Plus for %s' % (self.basename)) abi_link.append(self.mach_abi_linking['cilkplus']) abi_flags = ' '.join(sorted(abi_link)) -- cgit v1.2.3