From 7ca5cb3c14eafcc5b6921f496a055937e8733e5b Mon Sep 17 00:00:00 2001
From: Giovanni Grieco <giovanni.grieco@poliba.it>
Date: Sat, 24 Jun 2023 10:17:06 +0000
Subject: [PATCH] tools: update and simplify build process

---
 tools/compile.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/compile.sh b/tools/compile.sh
index 6129183..6c202c2 100755
--- a/tools/compile.sh
+++ b/tools/compile.sh
@@ -1,8 +1,8 @@
 #!/bin/bash
 
-# TODO: Shouldn't this be a proper Makefile?
+set -e
 
 pushd ns3
-./ns3 configure --enable-examples --enable-mpi --disable-python --enable-modules=drone
-./ns3 build -j$(grep -c Processor /proc/cpuinfo)
+./ns3 configure --enable-examples --disable-python --enable-modules=iodsim
+./ns3 build
 popd