Revision 6c780b90bf91d1f8f3276caad2d9f4170645ced8 authored by SUNIL PATEL on 23 April 2019, 10:11:56 UTC, committed by Néstor Subirón on 23 April 2019, 10:11:56 UTC
the update is a very costly operation and it downloads ~6gb every time. many time this download get interrupted and again the same file needs to be downloaded from the beginning. to avoid this -c argument is added to `wget`. this will help in continuing download from the point it was interrupted previously.
1 parent f045d35
Makefile
include Util/BuildTools/Vars.mk
ifeq ($(OS),Windows_NT)
include Util/BuildTools/Windows.mk
else
include Util/BuildTools/Linux.mk
endif
Computing file changes ...
