diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-11-16 19:18:19 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-11-16 19:18:19 +0000 |
| commit | e66924cb0f425ca70969058532340e68c9c17a54 (patch) | |
| tree | 6dfdb2d02621c45a17b9ca3202cc3db7c30d7da5 /config | |
| parent | d5d504da7c73538642b9be86c73f8407e08ab57a (diff) | |
SmtEngine now fails with a ModalException if --incremental is not enabled
but a push/pop or multiple query is attempted (previously it could give
incorrect answers)
Also, fix some multi-query and push-pop tests that had wrong answers, and
support a new "% COMMAND-LINE: " gesture in regression tests so that a
test can pass additional, specific command line flags it wants to run
with (here, --incremental).
Also fix mkbuilddir script for when it's called from contrib/switch-config.
Diffstat (limited to 'config')
| -rwxr-xr-x | config/mkbuilddir | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/mkbuilddir b/config/mkbuilddir index 1ed5eda92..ddec67023 100755 --- a/config/mkbuilddir +++ b/config/mkbuilddir @@ -21,10 +21,10 @@ fi target=$1 build_type=$2 -: {$as_echo:=echo} -: {$RM:=rm -f} -: {$MKDIR_P:=mkdir -p} -: {LN_S:=ln -s} +: ${as_echo:=echo} +: ${RM:=rm -f} +: ${MKDIR_P:=mkdir -p} +: ${LN_S:=ln -s} $as_echo "Setting up builds/$target/$build_type..." $RM config.log config.status confdefs.h builds/Makefile |