| changeset 60191 | 46a353f6aa39 |
| parent 59993 | 8f6cacc87f42 |
| child 62191 | eb9f5ee249f9 |
--- a/Admin/Release/build_library Wed Apr 22 20:14:43 2015 +0200 +++ b/Admin/Release/build_library Wed Apr 22 20:16:28 2015 +0200 @@ -87,6 +87,7 @@ cd .. if [ "$RC" = 0 ]; then + chmod -R a+r "$ISABELLE_NAME" chmod -R g=o "$ISABELLE_NAME" tar -c -z -f "$ARCHIVE_DIR/${ISABELLE_NAME}_library.tar.gz" "$ISABELLE_NAME/browser_info" fi