Mercurial Mercurial > repos > isabelle / diff
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/lib/Tools/build_setup
changeset 74031 09821ca262d3
parent 74030 39e05601faeb
child 74039 8c213672f6f3 
--- a/Admin/lib/Tools/build_setup	Sat Jul 17 21:31:15 2021 +0200
+++ b/Admin/lib/Tools/build_setup	Sat Jul 17 21:40:57 2021 +0200
@@ -73,8 +73,8 @@
 
 for SRC in "${SOURCES[@]}"
 do
-  ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC")"
-  cp "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC" "$SOURCE_DIR"
+  ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/src/$SRC")"
+  cp "$ISABELLE_HOME/src/Tools/Setup/src/$SRC" "$SOURCE_DIR"
   echo >> "$BUILD_PROPS" " \\"
   echo -n >> "$BUILD_PROPS" "  src/$SRC"
 done
isabelle