diff --git a/build/moz.configure/toolchain.configure b/build/moz.configure/toolchain.configure index 002a4cbbc2f0..bdb1fdecb596 100755 --- a/build/moz.configure/toolchain.configure +++ b/build/moz.configure/toolchain.configure @@ -6,7 +6,7 @@ # PGO # ============================================================== -option(env='MOZ_PGO', help='Build with profile guided optimizations') +js_option(env='MOZ_PGO', help='Build with profile guided optimizations') set_config('MOZ_PGO', depends('MOZ_PGO')(lambda x: bool(x))) add_old_configure_assignment('MOZ_PGO', depends('MOZ_PGO')(lambda x: bool(x)))