diff --git a/src/main/java/com/google/devtools/build/lib/dynamic/DynamicExecutionModule.java b/src/main/java/com/google/devtools/build/lib/dynamic/DynamicExecutionModule.java
index 1e342c9..3e9ad8d 100644
--- a/src/main/java/com/google/devtools/build/lib/dynamic/DynamicExecutionModule.java
+++ b/src/main/java/com/google/devtools/build/lib/dynamic/DynamicExecutionModule.java
@@ -81,7 +81,9 @@
     DynamicExecutionOptions dynamicOptions =
         env.getOptions().getOptions(DynamicExecutionOptions.class);
     ignoreLocalSignals =
-        dynamicOptions != null ? dynamicOptions.ignoreLocalSignals : ImmutableSet.of();
+        dynamicOptions != null && dynamicOptions.ignoreLocalSignals != null
+            ? dynamicOptions.ignoreLocalSignals
+            : ImmutableSet.of();
     reporter = env.getReporter();
   }