mirror of
https://github.com/hermitcore/libhermit.git
synced 2025-03-09 00:00:03 +01:00
show disk space on travis
This commit is contained in:
parent
dae37ee2b1
commit
63f94e8434
1 changed files with 1 additions and 0 deletions
|
@ -14,6 +14,7 @@ before_install:
|
|||
- git submodule update --init lwip usr/libomp
|
||||
|
||||
script:
|
||||
- df -H
|
||||
- cd ..
|
||||
- mv HermitCore libhermit-0.1
|
||||
- tar -czf libhermit_0.1.orig.tar.gz libhermit-0.1 --exclude=.git
|
||||
|
|
Loading…
Add table
Reference in a new issue