diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-04 18:07:14 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-04 18:07:14 +0000 |
commit | a175314c3e5827eb193872241446f2f8f5c9d33c (patch) | |
tree | cd3d60ca99ae00829c52a6ca79150a5b6e62528b /BUILD/compile-pentium32-wsrep | |
parent | Initial commit. (diff) | |
download | mariadb-10.5-upstream.tar.xz mariadb-10.5-upstream.zip |
Adding upstream version 1:10.5.12.upstream/1%10.5.12upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'BUILD/compile-pentium32-wsrep')
-rwxr-xr-x | BUILD/compile-pentium32-wsrep | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/BUILD/compile-pentium32-wsrep b/BUILD/compile-pentium32-wsrep new file mode 100755 index 00000000..b0b8e408 --- /dev/null +++ b/BUILD/compile-pentium32-wsrep @@ -0,0 +1,11 @@ +#! /bin/sh + +path=`dirname $0` +. "$path/SETUP.sh" + +extra_flags="$pentium_cflags $fast_cflags $wsrep_cflags" +extra_configs="$pentium_configs $wsrep_configs --with-wsrep $disable_64_bit_plugins" + +#strip=yes + +. "$path/FINISH.sh" |