Remove old minetest-server no longer needed

2017-08-27 14:20:24 -04:00
parent 6bf15b21eb
commit a2f6158e95
5 changed files with 6 additions and 94 deletions
--- a/6
+++ b/6
@@ -117,6 +117,12 @@ build() {
    fi
 }

+rebuild_db() {
+    cd "$pkg_dir"
+    repose -f -z $repo_name
+    sign_packages $repo_name.db $repo_name.files
+}
+
 build_deps() {
    cd "$src_dir"
    if [ "$#" -gt 0 ]; then