setup_configuration.pl: disallow configuration names which include valid Cactus make-configuration options

Branch: Makefile_invalid_configuration_names

Branch: master

Merged

#5 · Created 2014-12-08 · Last updated 2015-01-12

Merged pull request

Merged in Makefile_invalid_configuration_names (pull request #5)

9c7a72a·Author: Frank Löffler·Closed by: Frank Löffler·2015-01-12

Description

https://trac.einsteintoolkit.org/ticket/428

0 attachments

0 comments

Loading commits...