diff options
| author | Seppo Jaakola <seppo.jaakola@codership.com> | 2012-10-24 23:13:43 +0300 |
|---|---|---|
| committer | Seppo Jaakola <seppo.jaakola@codership.com> | 2012-10-24 23:13:43 +0300 |
| commit | 9b47a442b5452cb6c541e312f78746e7739e9f42 (patch) | |
| tree | 29217d146f72f319b52e22820fbaae385e19c15b /BUILD | |
| parent | ef6f9a8250804efb047ad6f28e476c59d7223e85 (diff) | |
| parent | 797082ca712f52437571e24962e26573d0723ad1 (diff) | |
| download | mariadb-git-9b47a442b5452cb6c541e312f78746e7739e9f42.tar.gz | |
References lp:1066784 - bzr merge lp:maria/5.5 (rev: 3562)
Diffstat (limited to 'BUILD')
| -rw-r--r-- | BUILD/FINISH.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index 1bbc47341c9..7f8859dde54 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -21,6 +21,12 @@ extra_configs="$extra_configs $local_infile_configs $EXTRA_CONFIGS" configure="./configure $base_configs $extra_configs" +if test "$just_print" = "1" -a "$just_configure" = "1" +then + just_print="" + configure="$configure --print" +fi + commands="\ /bin/rm -rf configure; /bin/rm -rf CMakeCache.txt CMakeFiles/ |