Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
chgrp isabelle;
authorwenzelm
Fri, 23 Apr 1999 11:51:38 +0200
changeset 6495 d3b8440e1d47
parent 6494 ab1442d2e4e1
child 6496 a185927883e5
chgrp isabelle;
Admin/makerpm file | annotate | diff | comparison | revisions 
--- 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"
isabelle