2020-04-14 21:53:23 +00:00
|
|
|
#!/bin/sh
|
2019-11-05 22:10:53 +00:00
|
|
|
|
2020-09-21 14:22:48 +00:00
|
|
|
if [ -z "$1" ]; then
|
2019-11-05 22:10:53 +00:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2020-09-21 14:22:48 +00:00
|
|
|
TARGET="$1"
|
2019-11-05 22:10:53 +00:00
|
|
|
|
2020-09-21 14:22:48 +00:00
|
|
|
for i in "$RPM_SOURCE_DIR"/*."$TARGET"; do
|
2020-06-01 20:02:10 +00:00
|
|
|
NEW=${i%.$TARGET}
|
2020-09-21 14:22:48 +00:00
|
|
|
cp "$i" "$NEW"
|
2019-11-05 22:10:53 +00:00
|
|
|
done
|