Admin/Release/build_library
changeset 60191 46a353f6aa39
parent 59993 8f6cacc87f42
child 62191 eb9f5ee249f9
equal deleted inserted replaced
60190:906de96ba68a 60191:46a353f6aa39
    85 RC="$?"
    85 RC="$?"
    86 
    86 
    87 cd ..
    87 cd ..
    88 
    88 
    89 if [ "$RC" = 0 ]; then
    89 if [ "$RC" = 0 ]; then
       
    90   chmod -R a+r "$ISABELLE_NAME"
    90   chmod -R g=o "$ISABELLE_NAME"
    91   chmod -R g=o "$ISABELLE_NAME"
    91   tar -c -z -f "$ARCHIVE_DIR/${ISABELLE_NAME}_library.tar.gz" "$ISABELLE_NAME/browser_info"
    92   tar -c -z -f "$ARCHIVE_DIR/${ISABELLE_NAME}_library.tar.gz" "$ISABELLE_NAME/browser_info"
    92 fi
    93 fi
    93 
    94 
    94 # clean up
    95 # clean up