diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-03-26 23:11:16 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-04-08 17:48:33 +0200 |
commit | a1ec7540be9b30593f5e83e36a0e83b1bcf337f1 (patch) | |
tree | 5b43fe95e45b16d883a911041658bc0ceb774bfe /graph.js | |
parent | 3c0128b035ae00462f1b0a4427d9525d750e5575 (diff) | |
download | patches-a1ec7540be9b30593f5e83e36a0e83b1bcf337f1.tar patches-a1ec7540be9b30593f5e83e36a0e83b1bcf337f1.tar.gz |
cuirass: Factorize hydra-to-cuirass CI job translation.
* build-aux/cuirass/gnu-system.scm: Move code to...
* build-aux/cuirass/hydra-to-cuirass.scm: ... here, and include it.
* Makefile.am (EXTRA_DIST): Add 'build-aux/cuirass/hydra-to-cuirass.scm'
and 'build-aux/cuirass/gnu-system.scm'.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions