streamline building, proper makefile help

2022-08-24 17:42:06 +03:00
parent 97d62d8032
commit 7176e41edc
6 changed files with 123 additions and 59 deletions
--- a/build/get_pub_keys.sh
+++ b/build/get_pub_keys.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 set -e
 idnr=$( id -u "$1" )