Admin/makerpm
changeset 6495 d3b8440e1d47
parent 6485 0d334465f29a
child 6499 2fd912486990
--- 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"