make: add gimrr krb auth scripts
authorFrantisek Hrbata <frantisek@hrbata.com>
Mon, 4 Jan 2021 16:57:44 +0000 (17:57 +0100)
committerFrantisek Hrbata <frantisek@hrbata.com>
Mon, 4 Jan 2021 18:28:32 +0000 (19:28 +0100)
Signed-off-by: Frantisek Hrbata <frantisek@hrbata.com>
Makefile

index 13d8e51ea66eec265e09595c1048700affdf374d..d22eda988f304f6457b63c2e70e926aae9036394 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -42,6 +42,9 @@ BIN_FILES = git-mr-create \
       git-mr-merge \
       git-mr-comment-list \
       git-mr-comment-show \
+      gimrrdataprot.py \
+      gimrr-server-krb \
+      gimrr-register-krb \
       mrlib.py
 
 MAN1_TXT_FILES = $(DOCDIR)/git-mr-show.txt \