Merging latest develop-nr commits

2019-06-06 21:44:15 +02:00
parent 3c1d1bffee a404e190ab
commit a2cad44f0f
70 changed files with 1709 additions and 6055 deletions
@@ -374,7 +374,7 @@ case $key in
        LOG_PATTERN=.Rel15.txt
        NB_PATTERN_FILES=8
        BUILD_OPTIONS="--phy_simulators"
-	VM_MEMORY=8192
+        VM_MEMORY=8192
        RUN_OPTIONS="./run_exec_autotests.bash -g \"01510*\" -q -np -b"
        NBARGS=$[$NBARGS+256]
        ;;