2017-11-12 14:34:14 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
2017-11-12 17:41:40 +01:00
|
|
|
PATH="$_PATH_ORIG"
|
|
|
|
|
2017-11-12 14:34:14 +01:00
|
|
|
if [ $# -ge 2 ]; then
|
|
|
|
args="$1"
|
|
|
|
mod="$2"
|
|
|
|
shift 2
|
|
|
|
|
2017-11-12 17:41:40 +01:00
|
|
|
exec ar "$mod$args" "$@"
|
2017-11-12 14:34:14 +01:00
|
|
|
else
|
2017-11-12 17:41:40 +01:00
|
|
|
exec ar "$@"
|
2017-11-12 14:34:14 +01:00
|
|
|
fi
|