reindent

[simgrid.git] / BuildSimGrid.sh

diff --git a/BuildSimGrid.sh b/BuildSimGrid.sh
index 68432fa..66b309e 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 a personal script, but others may find this useful
 #
-# Copyright (c) 2017-2022 The SimGrid Team. Licence: LGPL of WDFPL, as you want.
+# Copyright (c) 2017-2023 The SimGrid Team. Licence: LGPL of WDFPL, as you want.
 
 if [ ! -e Makefile ] && [ ! -e build.ninja ]; then
   if [ -e build/default/Makefile ] ; then
@@ -15,7 +15,7 @@ if [ ! -e Makefile ] && [ ! -e build.ninja ]; then
   fi
 fi
 
-target=tests
+target=examples
 ncores=$(grep -c processor /proc/cpuinfo)
 
 install_path=$(sed -n 's/^CMAKE_INSTALL_PREFIX:PATH=//p' CMakeCache.txt)