diff options
author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2015-07-22 21:25:12 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2015-07-22 21:25:12 -0300 |
commit | f0d4d1a5e78b1b34fae9c9432cf4931d23d1ad22 (patch) | |
tree | e45658e2f161afd2aa32bb64506ead5dcacbe4fa /libre-testing/icecat/mozconfig.pgo | |
parent | fca98766cfdd74414c579007e8a615f9c80a1a98 (diff) |
icecat-31.8.0_gnu1-2: add new revision to [libre-testing] to test if segfault persists without using system libraries and going by the default Mozilla included libraries
Diffstat (limited to 'libre-testing/icecat/mozconfig.pgo')
-rw-r--r-- | libre-testing/icecat/mozconfig.pgo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libre-testing/icecat/mozconfig.pgo b/libre-testing/icecat/mozconfig.pgo new file mode 100644 index 000000000..71ba205a4 --- /dev/null +++ b/libre-testing/icecat/mozconfig.pgo @@ -0,0 +1,3 @@ + +# PGO +mk_add_options PROFILE_GEN_SCRIPT='EXTRA_TEST_ARGS=10 $(MAKE) -C $(MOZ_OBJDIR) pgo-profile-run' |