diff options
Diffstat (limited to 'patches')
| -rw-r--r-- | patches/README | 2 | ||||
| -rw-r--r-- | patches/sauer | 17 |
2 files changed, 16 insertions, 3 deletions
diff --git a/patches/README b/patches/README index 43f75aa0..26bb7fea 100644 --- a/patches/README +++ b/patches/README @@ -6,3 +6,5 @@ To use it, link .hg/patches to it (it isn't possible to add .hg/patches itself d After doing so, |hg qpush| sauer, and then running |python tests/runner.py| will run only sauer, using v8, and without optimizations or relooping. +Note to patch queue maintainer: You need to manually copy from .hg/patches into this directory, after |qrefresh|ing the patch. + diff --git a/patches/sauer b/patches/sauer index 76ead50f..23147f1d 100644 --- a/patches/sauer +++ b/patches/sauer @@ -1,12 +1,23 @@ +diff --git a/patches/README b/patches/README +--- a/patches/README ++++ b/patches/README +@@ -4,5 +4,5 @@ + + ln -s patches .hg/patches + +-After doing so, |hg qpush| sauer, and then running |python tests/runner.py| will run only sauer, using v8, and without optimizations or relooping. ++After doing so, |hg qpush| sauer, and then running |python tests/runner.py| will run only sauer, using v8, and without relooping. + diff --git a/src/settings.js b/src/settings.js --- a/src/settings.js +++ b/src/settings.js -@@ -1,3 +1,3 @@ +@@ -1,3 +1,4 @@ -OPTIMIZE = 1; -RELOOP = 1; -+OPTIMIZE = 0; -+RELOOP = 0; ++OPTIMIZE = 1; // Safe ++RELOOP = 0; // Very slow, perhaps neverending? ++ diff --git a/tests/runner.py b/tests/runner.py --- a/tests/runner.py +++ b/tests/runner.py |