diff options
| author | monty@hundin.mysql.fi <> | 2001-10-04 02:44:18 +0300 |
|---|---|---|
| committer | monty@hundin.mysql.fi <> | 2001-10-04 02:44:18 +0300 |
| commit | 62c8014171cf81a17897d85f0c80d0621548a2ae (patch) | |
| tree | b1013532246a774deaac975b2e53d6cd4332aabd /Build-tools | |
| parent | 55a6911bb158126302dd93467818fd2b32bcb78a (diff) | |
| download | mariadb-git-62c8014171cf81a17897d85f0c80d0621548a2ae.tar.gz | |
Fixed some build problems.
Fix that compressed packets and normal packets looks indentical before calling net_real_write()
(Needed for query cache)
Optimize IS NULL handling
Diffstat (limited to 'Build-tools')
| -rwxr-xr-x | Build-tools/Do-compile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Build-tools/Do-compile b/Build-tools/Do-compile index 8a87d3d2f9d..526d7f2364b 100755 --- a/Build-tools/Do-compile +++ b/Build-tools/Do-compile @@ -105,8 +105,23 @@ $|=1; safe_cd("$host"); if ($opt_stage == 0 && ! $opt_use_old_distribution) { + my ($name); safe_system("gunzip < $opt_distribution | $tar xf -"); + + # Fix file times; This is needed because the time for files may be + # in the future + system("touch timestamp; find $var -newer timestamp -print | xargs touch; rm -f timestamp"); + sleep(2); + # Ensure that files we don't want to rebuild are newer than other files + foreach $name ("configure", + "Docs/include.texi", + "Docs/*.html", "Docs/manual.txt", "Docs/mysql.info", + "sql/sql_yacc.h", "sql/sql_yacc.cc") + { + system("touch $name"); + } } + safe_cd($ver); if ($opt_stage <= 1) { |