DISTRIB_ID is apparently now all lowercase on NixOS.

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 9e47e12..cfeaa08 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -151,13 +151,13 @@ if [ "$os" = "Debian" ] || [ "$os" = "Ubuntu" ] ; then
     have_NS3="yes"
   fi
 fi
-if [ "$os" = "NixOS" ] ; then
+if [ "$os" = "nixos" ] ; then
   have_NS3="yes"
 fi
 echo "XX have_NS3: ${have_NS3}"
 
 SIMGRID_PYTHON_LIBDIR=""
-if [ "$os" = "NixOS" ] ; then
+if [ "$os" = "nixos" ] ; then
   SIMGRID_PYTHON_LIBDIR="/home/ci/simgrid_install/lib64"
 fi
 echo "XX SIMGRID_PYTHON_LIBDIR: ${SIMGRID_PYTHON_LIBDIR}"