view deploy/linux/generate-qrc @ 76:d55684dff362

Show relative status, query downgrades
author Chris Cannam
date Tue, 18 Feb 2020 13:41:38 +0000
parents 38cd115c91d4
children
line wrap: on
line source
#!/bin/bash
qrc="$1"
if [ ! -f "$qrc".in ]; then
    echo "Input file $qrc.in not found"
    exit 2
fi
set -eu
cat "$qrc".in | sed -e 's/@SUFFIX@/.so/g' -e 's/@EXESUFFIX@//g' > "$qrc"