develop-nr merge

2019-10-07 12:04:58 +02:00
parent c348a9eec6 b3bc216df1
commit e5a9f02af6
141 changed files with 18599 additions and 23321 deletions
@@ -103,6 +103,7 @@ function build_on_vm {
    echo "############################################################"
    echo "[ -f 01proxy ] && sudo cp 01proxy /etc/apt/apt.conf.d/" > $VM_CMDS
    echo "touch /home/ubuntu/.hushlogin" >> $VM_CMDS
+    echo "git config --global https.postBuffer 123289600" >> $VM_CMDS
    if [[ "$VM_NAME" == *"-cppcheck"* ]]
    then
        if [ $DAEMON -eq 0 ]