mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
17 lines
258 B
Text
17 lines
258 B
Text
|
#!/bin/sh
|
||
|
|
|
||
|
|
# This script can only create a library, not take it apart
|
||
|
|
# again to AR files
|
||
|
|
|
||
|
|
case $1 in
|
||
|
|
-d*|-m*|-t*|-p*|-r*|-x*|x)
|
||
|
|
echo "$0: can't handle arguments $*"
|
||
|
|
exit 1;
|
||
|
|
;;
|
||
|
|
-c|c|cr|cru|cu)
|
||
|
|
shift;
|
||
|
|
;;
|
||
|
|
esac
|
||
|
|
|
||
|
|
exec mwld -lib -o $*
|