2020-10-15 12:41:02 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2020-12-04 20:24:35 +00:00
|
|
|
if [ -z "$1" ]; then
|
2020-10-15 12:41:02 +00:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2020-12-04 20:24:35 +00:00
|
|
|
TARGET="$1"
|
2020-10-15 12:41:02 +00:00
|
|
|
|
2020-12-04 20:24:35 +00:00
|
|
|
for i in "$RPM_SOURCE_DIR"/*."$TARGET"; do
|
2020-10-15 12:41:02 +00:00
|
|
|
NEW=${i%.$TARGET}
|
2020-12-04 20:24:35 +00:00
|
|
|
cp "$i" "$NEW"
|
2020-10-15 12:41:02 +00:00
|
|
|
done
|
