Fossil SCM

Add the --no-opt option to the ./configure script. Fix the menu.js script to avoid the use of eval().

drh 2017-12-06 01:09 trunk
Commit 189adb9959fa4335038987bf44777a3e168a85da858d015955d2c8156c07d0b2
2 files changed +6 +2 -2
+6
--- auto.def
+++ auto.def
@@ -20,10 +20,11 @@
2020
with-see=0 => {Enable the SQLite Encryption Extension (SEE)}
2121
internal-sqlite=1 => {Don't use the internal SQLite, use the system one}
2222
static=0 => {Link a static executable}
2323
fusefs=1 => {Disable the Fuse Filesystem}
2424
fossil-debug=0 => {Build with fossil debugging enabled}
25
+ no-opt=0 => {Build without optimization}
2526
json=0 => {Build with fossil JSON API enabled}
2627
}
2728
2829
# sqlite wants these types if possible
2930
cc-with {-includes {stdint.h inttypes.h}} {
@@ -135,10 +136,15 @@
135136
if {[opt-bool fossil-debug]} {
136137
define-append EXTRA_CFLAGS -DFOSSIL_DEBUG
137138
define CFLAGS {-g -O0}
138139
msg-result "Debugging support enabled"
139140
}
141
+
142
+if {[opt-bool no-opt]} {
143
+ define CFLAGS {-g -O0}
144
+ msg-result "Builting without compiler optimization"
145
+}
140146
141147
if {[opt-bool with-see]} {
142148
define-append EXTRA_CFLAGS -DUSE_SEE
143149
define USE_SEE 1
144150
msg-result "Enabling encryption support"
145151
--- auto.def
+++ auto.def
@@ -20,10 +20,11 @@
20 with-see=0 => {Enable the SQLite Encryption Extension (SEE)}
21 internal-sqlite=1 => {Don't use the internal SQLite, use the system one}
22 static=0 => {Link a static executable}
23 fusefs=1 => {Disable the Fuse Filesystem}
24 fossil-debug=0 => {Build with fossil debugging enabled}
 
25 json=0 => {Build with fossil JSON API enabled}
26 }
27
28 # sqlite wants these types if possible
29 cc-with {-includes {stdint.h inttypes.h}} {
@@ -135,10 +136,15 @@
135 if {[opt-bool fossil-debug]} {
136 define-append EXTRA_CFLAGS -DFOSSIL_DEBUG
137 define CFLAGS {-g -O0}
138 msg-result "Debugging support enabled"
139 }
 
 
 
 
 
140
141 if {[opt-bool with-see]} {
142 define-append EXTRA_CFLAGS -DUSE_SEE
143 define USE_SEE 1
144 msg-result "Enabling encryption support"
145
--- auto.def
+++ auto.def
@@ -20,10 +20,11 @@
20 with-see=0 => {Enable the SQLite Encryption Extension (SEE)}
21 internal-sqlite=1 => {Don't use the internal SQLite, use the system one}
22 static=0 => {Link a static executable}
23 fusefs=1 => {Disable the Fuse Filesystem}
24 fossil-debug=0 => {Build with fossil debugging enabled}
25 no-opt=0 => {Build without optimization}
26 json=0 => {Build with fossil JSON API enabled}
27 }
28
29 # sqlite wants these types if possible
30 cc-with {-includes {stdint.h inttypes.h}} {
@@ -135,10 +136,15 @@
136 if {[opt-bool fossil-debug]} {
137 define-append EXTRA_CFLAGS -DFOSSIL_DEBUG
138 define CFLAGS {-g -O0}
139 msg-result "Debugging support enabled"
140 }
141
142 if {[opt-bool no-opt]} {
143 define CFLAGS {-g -O0}
144 msg-result "Builting without compiler optimization"
145 }
146
147 if {[opt-bool with-see]} {
148 define-append EXTRA_CFLAGS -DUSE_SEE
149 define USE_SEE 1
150 msg-result "Enabling encryption support"
151
+2 -2
--- src/href.js
+++ src/href.js
@@ -35,12 +35,12 @@
3535
var g = JSON.parse(jx);
3636
var isOperaMini =
3737
Object.prototype.toString.call(window.operamini)==="[object OperaMini]";
3838
if(g.mouseover && !isOperaMini){
3939
document.getElementByTagName("body")[0].onmousemove=function(){
40
- setTimeout("setAllHrefs();",g.delay);
40
+ setTimeout(setAllHrefs, g.delay);
4141
}
4242
}else{
43
- setTimeout("setAllHrefs();",g.delay);
43
+ setTimeout(setAllHrefs, g.delay);
4444
}
4545
}
4646
antiRobotDefense()
4747
--- src/href.js
+++ src/href.js
@@ -35,12 +35,12 @@
35 var g = JSON.parse(jx);
36 var isOperaMini =
37 Object.prototype.toString.call(window.operamini)==="[object OperaMini]";
38 if(g.mouseover && !isOperaMini){
39 document.getElementByTagName("body")[0].onmousemove=function(){
40 setTimeout("setAllHrefs();",g.delay);
41 }
42 }else{
43 setTimeout("setAllHrefs();",g.delay);
44 }
45 }
46 antiRobotDefense()
47
--- src/href.js
+++ src/href.js
@@ -35,12 +35,12 @@
35 var g = JSON.parse(jx);
36 var isOperaMini =
37 Object.prototype.toString.call(window.operamini)==="[object OperaMini]";
38 if(g.mouseover && !isOperaMini){
39 document.getElementByTagName("body")[0].onmousemove=function(){
40 setTimeout(setAllHrefs, g.delay);
41 }
42 }else{
43 setTimeout(setAllHrefs, g.delay);
44 }
45 }
46 antiRobotDefense()
47

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button