1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/bin/sh
set -e
ARCH=arm-none-eabi
case "$1" in
configure|triggered)
if which $ARCH-gcc > /dev/null; then
target=`$ARCH-gcc -print-search-dirs | sed -n '/^install:/s/^install: //p'`
for source in /usr/lib/picolibc/$ARCH/*.specs; do
if [ -d "$target" -a -f "$source" ]; then
cp -a "$source" "$target" || true
fi
done
fi
;;
abort-upgrade|abort-remove|abort-deconfigure)
;;
*)
echo "postinst called with unknown argument \`$1'" >&2
exit 1
;;
esac
#DEBHELPER#
exit 0
|
