| changeset 6561 | 793b33191ce3 |
| parent 6499 | 2fd912486990 |
| child 6562 | ac091e18b9fc |
| 6560:1436349f8b28 | 6561:793b33191ce3 |
|---|---|
181 done |
181 done |
182 |
182 |
183 |
183 |
184 # invoke rpm |
184 # invoke rpm |
185 |
185 |
186 chgrp -R isabelle "$TMP" |
186 chown -R root:root "$TMP" || chgrp -R isabelle "$TMP" |
187 |
187 |
188 echo "topdir: $TMP" >"$TMP/rpmrc" |
188 echo "topdir: $TMP" >"$TMP/rpmrc" |
189 rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec" |
189 rpm --rcfile "$TMP/rpmrc" -bb "$TMP/SPECS/isabelle.spec" |
190 |
190 |
191 mkdir -p "$DISTBASE/rpm" |
191 mkdir -p "$DISTBASE/rpm" |