# HG changeset patch
# User wenzelm
# Date 924861098 -7200
# Node ID d3b8440e1d472acf66ce9d1e523ae4b610f1c6b4
# Parent  ab1442d2e4e1f2136fc032b75e780ad223e95da2
chgrp isabelle;

diff -r ab1442d2e4e1 -r d3b8440e1d47 Admin/makerpm
--- a/Admin/makerpm	Fri Apr 23 11:50:35 1999 +0200
+++ b/Admin/makerpm	Fri Apr 23 11:51:38 1999 +0200
@@ -183,6 +183,8 @@
 
 # invoke rpm
 
+chgrp -R isabelle "$TMP"
+
 echo "topdir: $TMP" >"$TMP/rpmrc"
 rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec"