X-Git-Url: https://osm.etsi.org/gitweb/?a=blobdiff_plain;f=BUILD.sh;h=4521ca7b16e007ed73e4e4e862fe1629c5f4689f;hb=cb855e1dd352b14f5e86807972e9466accb0e1e9;hp=a34202b82e7934290d689430ad9d053c04160b43;hpb=867ed1d01d7148493ff0ebc75a90ee295474f164;p=osm%2FSO.git diff --git a/BUILD.sh b/BUILD.sh index a34202b8..4521ca7b 100755 --- a/BUILD.sh +++ b/BUILD.sh @@ -114,10 +114,10 @@ fi if [[ $PLATFORM == ub16 ]]; then PLATFORM_REPOSITORY=${1:-OSM} - PLATFORM_VERSION=${2:-4.3.1.0.50309} + PLATFORM_VERSION=${2:-4.3.1.0.53651} elif [[ $PLATFORM == fc20 ]]; then PLATFORM_REPOSITORY=${1:-OSM} # change to OSM when published - PLATFORM_VERSION=${2:-4.3.1.0.50310} + PLATFORM_VERSION=${2:-4.3.1.0.53651} else echo "Internal error: unknown platform $PLATFORM" exit 1 @@ -126,6 +126,17 @@ fi ############################################################################### # Main block +# Disable apt-daily.service and apt-daily.timer + +DAILY_TIMER='apt-daily.timer' +DAILY_SERVICE='apt-daily.service' +if [ $(systemctl is-active $DAILY_TIMER) = "active" ] +then + systemctl stop $DAILY_TIMER + systemctl disable $DAILY_TIMER + systemctl disable $DAILY_SERVICE +fi + # must be run from the top of a workspace cd $(dirname $0)