Directly reset observer_ instead of using an empty simcall for that.

[simgrid.git] / BuildSimGrid.sh

diff --git a/BuildSimGrid.sh b/BuildSimGrid.sh
index 1ac4534150c7770ed153a04935b331916cc1471c..1b3e888f97f2b06f0819b0032fc44544007206a4 100755 (executable)
--- a/BuildSimGrid.sh
+++ b/BuildSimGrid.sh
@@ -3,7 +3,7 @@
 # This little script rebuilds and runs the SimGrid archive in parallel, extracting a log
 # This is almost an internal script, but others may find this useful
 #
-# Copyright (c) 2017-2020 The SimGrid Team. Licence: LGPL of WDFPL, as you want.
+# Copyright (c) 2017-2022 The SimGrid Team. Licence: LGPL of WDFPL, as you want.
 
 if [ ! -e Makefile ] ; then
   if [ -e build/default/Makefile ] ; then