Merge branch 'master' into develop

highperformancecoder · Apr 6, 2023 · a703626 · a703626
2 parents cf921ba + 383d7ed
commit a703626
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/travisRun.sh b/travisRun.sh
@@ -4,7 +4,7 @@ set -e
 # force build ecolab, as it needs to be built before the .d files are generated
 # not a problem in a usual dev environment, with classdesc installed
 (cd ecolab; make -j2 AEGIS=1 DEBUG=1 all-without-models)
-make -j2 AEGIS=1 DEBUG=1
+make -j2 AEGIS=1 DEBUG=1 OBS=1
 export TRAVIS=1
 (cd gui-js && yes|npm install) 
 #make -j2 AEGIS=1 sure