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/Release/build
changeset 60214 0b7656c5f0e9
parent 57685 34ec8a580917
child 61000 dd43980dc2c6
equal deleted inserted replaced
60213:392e5aae3348 60214:0b7656c5f0e9 
   113 DISTBASE="$BASE_DIR/dist-${DISTNAME}"
 
   113 DISTBASE="$BASE_DIR/dist-${DISTNAME}"
 
   114 
   114 
   115 
   115 
   116 # make bundles
 
   116 # make bundles
 
   117 
   117 
   118 for PLATFORM_FAMILY in linux macos windows
 
   118 for PLATFORM_FAMILY in linux windows macos
 
   119 do
 
   119 do
 
   120 
   120 
   121 echo
 
   121 echo
 
   122 echo "*** $PLATFORM_FAMILY ***"
 
   122 echo "*** $PLATFORM_FAMILY ***"
 
   123 
   123
isabelle