mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 13:32:33 +01:00
18 lines
397 B
Bash
Executable file
18 lines
397 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
|
|
sh $config "$@"
|
|
else
|
|
sh $config
|
|
fi
|