diff options
author | Thomas Monjalon <thomas.monjalon@6wind.com> | 2016-06-01 10:02:04 +0200 |
---|---|---|
committer | Thomas Monjalon <thomas.monjalon@6wind.com> | 2016-06-01 10:26:16 +0200 |
commit | 9d6c0ab31158f78976a6ba614a5de09f05305a74 (patch) | |
tree | a7381713fc7524a999033c1f870ac00f1ed3748c /build-root/platforms.mk | |
parent | 750c62548eb10e79ff35a963df248ccfb064ec24 (diff) |
vagrant: disable automatic update on start
The box update requires an internet connection.
It is better to disable it on vagrant start.
It still can be updated with the manual command:
vagrant box update
Change-Id: I04e05ea08477bf36f25672c54d0a057d995d4a42
Signed-off-by: Thomas Monjalon <thomas.monjalon@6wind.com>
Diffstat (limited to 'build-root/platforms.mk')
0 files changed, 0 insertions, 0 deletions