| changeset 31582 | 4753c317d5c1 |
| parent 28539 | bdb308737bfd |
| 31581:907616b9536c | 31582:4753c317d5c1 |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Gerwin Klein, NICTA |
3 # Author: Gerwin Klein, NICTA |
5 # |
4 # |
6 # Run IsaMakefile for every Doc/ subdirectory. |
5 # Run IsaMakefile for every Doc/ subdirectory. |
7 # |
6 # |
8 # Relies on being run in the isatest environment on sunbroy2. |
7 # Relies on being run in the isatest environment on sunbroy2. |