Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/makerpm
changeset 6495 d3b8440e1d47
parent 6485 0d334465f29a
child 6499 2fd912486990
equal deleted inserted replaced
6494:ab1442d2e4e1 6495:d3b8440e1d47 
   181 done
 
   181 done
 
   182 
   182 
   183 
   183 
   184 # invoke rpm
 
   184 # invoke rpm
 
   185 
   185 
       
   186 chgrp -R isabelle "$TMP"
 
       
   187 
   186 echo "topdir: $TMP" >"$TMP/rpmrc"
 
   188 echo "topdir: $TMP" >"$TMP/rpmrc"
 
   187 rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec"
 
   189 rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec"
 
   188 
   190 
   189 mkdir -p "$DISTBASE/rpm"
 
   191 mkdir -p "$DISTBASE/rpm"
 
   190 cd "$TMP/RPMS/i386"
 
   192 cd "$TMP/RPMS/i386"
isabelle