diff options
| author |   Alex Yang <yangyang1@zte.com.cn> | 2016-12-29 23:57:42 +0800 |
|---|---|---|
| committer | Alex Yang <yangyang1@zte.com.cn> | 2016-12-29 23:57:42 +0800 |
| commit | 3c01f7eed2c8265fcf26801b4d18914cc2925294 (patch) | |
| tree | cd8f1f751ec0bd14497f6b3294b336667a31c197 /code/makefile_patch.sh | |
| parent | 8752e2341e766f547377ac184f3e338613491162 (diff) | |
fix "No space" error in docker building
The space of the /root directory in the docker image is only 10G.
"No space" occurs in docker building. So the tmp directory should be changed.
Change-Id: Idfa831bac88e2b8ea8e4312247611dc9a1dcda65
Signed-off-by: Alex Yang <yangyang1@zte.com.cn>
Diffstat (limited to 'code/makefile_patch.sh')
0 files changed, 0 insertions, 0 deletions