make.sh (1001B)
1 #!/bin/sh 2 3 # Copyright (C) 2018-2023 |Méso|Star> (contact@meso-star.com) 4 # 5 # This program is free software: you can redistribute it and/or modify 6 # it under the terms of the GNU General Public License as published by 7 # the Free Software Foundation, either version 3 of the License, or 8 # (at your option) any later version. 9 # 10 # This program is distributed in the hope that it will be useful, 11 # but WITHOUT ANY WARRANTY; without even the implied warranty of 12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 # GNU General Public License for more details. 14 # 15 # You should have received a copy of the GNU General Public License 16 # along with this program. If not, see <http://www.gnu.org/licenses/>. 17 18 set -e 19 20 install() 21 { 22 prefix=$1 23 shift 1 24 25 mkdir -p "${prefix}" 26 27 for i in "$@"; do 28 dst="${prefix}/${i##*/}" 29 30 if cmp -s "${i}" "${dst}"; then 31 printf "Up to date %s\n" "${dst}" 32 else 33 printf "Installing %s\n" "${dst}" 34 cp "${i}" "${prefix}" 35 fi 36 done 37 } 38 39 "$@"