diff options
author | Javier Jardón <jjardon@gnome.org> | 2017-07-02 12:52:37 +0100 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2017-07-06 11:55:24 +0100 |
commit | 4d7ae15b93d09da833e79c9ca9a89f84db2a7ea0 (patch) | |
tree | 7128666f0eb6b322de0662628e0252cc87696974 /systems/armv7lhf-cross-toolchain-system-x86_32.morph | |
parent | 4256bfb5a7728fd515d10c68df462a0e315e4db9 (diff) | |
download | definitions-4d7ae15b93d09da833e79c9ca9a89f84db2a7ea0.tar.gz |
Use /cache to put all contentsstaging/jjardon/revert_gcc71
This is how a runner looks like:
$ df -h
Filesystem Size Used Avail Use% Mounted on
/dev/mapper/docker-252:1-262208-36eaa91b86966a7afa39fbdbe717bdec58bc10efc52e09accd3e8e9ee4038658 10G 144M 9.9G 2% /
tmpfs 3.9G 0 3.9G 0% /dev
tmpfs 3.9G 0 3.9G 0% /sys/fs/cgroup
/dev/vda1 79G 1.2G 75G 2% /cache
shm 64M 0 64M 0% /dev/shm
Diffstat (limited to 'systems/armv7lhf-cross-toolchain-system-x86_32.morph')
0 files changed, 0 insertions, 0 deletions