core-update.sh « scripts - pki-dev.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/scripts/core-update.sh

blob: e38b85e5153ec6edfef7cf2d8cefb51ba8927514 (plain)

#!/bin/sh -x

./core-remove.sh
./core-install.sh