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

#5 Merged at 9c7a72a
Repository
Branch
Makefile_invalid_configuration_names
Repository
Branch
master
Author
  1. Frank Löffler
Reviewers

Comments (0)