| OLD | NEW |
| 1 #!/bin/bash | 1 #!/bin/bash |
| 2 # | 2 # |
| 3 # Copyright 2007 Google Inc. All Rights Reserved. | 3 # Copyright 2007 Google Inc. All Rights Reserved. |
| 4 # Author: shess@google.com (Scott Hess) | 4 # Author: shess@google.com (Scott Hess) |
| 5 | 5 |
| 6 mkdir bld | 6 mkdir bld |
| 7 cd bld | 7 cd bld |
| 8 ../configure | 8 ../configure |
| 9 FILES="keywordhash.h opcodes.c opcodes.h parse.c parse.h sqlite3.h" | 9 FILES="keywordhash.h opcodes.c opcodes.h parse.c parse.h sqlite3.h" |
| 10 OPTS="" | 10 OPTS="" |
| 11 # These options should match those in ../../tools/config.mk. | 11 # These options should match those in ../../tools/config.mk. |
| 12 OPTS="$OPTS -DSQLITE_OMIT_LOAD_EXTENSION=1" | 12 OPTS="$OPTS -DSQLITE_OMIT_LOAD_EXTENSION=1" |
| 13 OPTS="$OPTS -DSQLITE_TRANSACTION_DEFAULT_IMMEDIATE=1" | |
| 14 make "OPTS=$OPTS" $FILES | 13 make "OPTS=$OPTS" $FILES |
| 15 cp -f $FILES ../preprocessed | 14 cp -f $FILES ../preprocessed |
| 16 | 15 |
| 17 cd .. | 16 cd .. |
| 18 rm -rf bld | 17 rm -rf bld |
| 19 | 18 |
| 20 # TODO(shess) I can't find config.h, which exists in the original | 19 # TODO(shess) I can't find config.h, which exists in the original |
| 21 # third_party/sqlite/ directory. I also haven't found a client of it, | 20 # third_party/sqlite/ directory. I also haven't found a client of it, |
| 22 # yet, so maybe it's not a file we need. | 21 # yet, so maybe it's not a file we need. |
| OLD | NEW |