2016-04-17 | Paul Boddie | file changeset files shortlog | Updated the documentation to describe the configuration tool and various settings in the integration-related and final configuration files. |
paul@629 | 1 | #!/bin/sh |
paul@629 | 2 | |
paul@718 | 3 | for FILENAME in tests/test_*.sh ; do echo $FILENAME ; $FILENAME ; done |