mirror of
https://github.com/MariaDB/server.git
synced 2025-01-28 17:54:16 +01:00
19 lines
402 B
Bash
Executable file
19 lines
402 B
Bash
Executable file
#!/bin/sh
|
|
|
|
# This silliness is because Chris wants the autoconf-related files
|
|
# and makefiles not to appear in the top-level directory. Fine by
|
|
# me, I don't much care. This script just needs to invoke the real
|
|
# configure script...
|
|
|
|
config=`echo $0 | sed -e 's,configure$,config/configure,'`
|
|
|
|
if test ! -d obj ; then
|
|
mkdir obj
|
|
fi
|
|
|
|
if test -n "$1" ; then
|
|
exec $config "$@"
|
|
else
|
|
exec $config
|
|
fi
|
|
|