diff options
Diffstat (limited to 'configs/splash2/cluster.py')
| -rw-r--r-- | configs/splash2/cluster.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/splash2/cluster.py b/configs/splash2/cluster.py index e8c471eaa..4a9446794 100644 --- a/configs/splash2/cluster.py +++ b/configs/splash2/cluster.py @@ -239,7 +239,7 @@ for cluster in clusters: # Define the root # ---------------------- -root = Root(system = system) +root = Root(full_system = False, system = system) # -------------------- # Pick the correct Splash2 Benchmarks |