diff options
| -rwxr-xr-x | browser/confvars.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/browser/confvars.sh b/browser/confvars.sh index d4c2c008d..65cf154e9 100755 --- a/browser/confvars.sh +++ b/browser/confvars.sh @@ -62,4 +62,8 @@ MOZ_ADDON_SIGNING=0 MOZ_REQUIRE_SIGNING=0 # Include the DevTools client, not just the server (which is the default) -MOZ_DEVTOOLS=all +if test -n "$BASILISK_DISABLE_DEVTOOLS" ; then +MOZ_DEVTOOLS= +else +MOZ_DEVTOOLS=1 +fi |