Searched refs:flag_to_remove (Results 1 – 1 of 1) sorted by relevance
| /petsc/config/BuildSystem/config/ |
| H A D | package.py | 351 def __remove_flag_pair(self, flags, flag_to_remove, pair_prefix): argument
371 return self.rmArgs(flags, {flag_to_remove})
374 flag_str = ' '.join(self.rmArgsPair(flags, {flag_to_remove}, remove_ahead=False))
376 flag_str = re.sub(r',{}\s'.format(flag_to_remove), ' ', flag_str)
378 flag_str = re.sub(r',{},'.format(flag_to_remove), ',', flag_str)
380 flag_str = re.sub(r'\s{},'.format(flag_to_remove), ' ', flag_str)
|