src/Tools/jEdit/lib/Tools/jedit
changeset 66590 8e1aac4eed11
parent 66574 e16b27bd3f76
child 66591 6efa351190d0
--- a/src/Tools/jEdit/lib/Tools/jedit	Fri Sep 01 12:57:24 2017 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Fri Sep 01 14:58:19 2017 +0200
@@ -354,6 +354,7 @@
   init_resources "${RESOURCES_BASE[@]}"
   compile_sources "${SOURCES_BASE[@]}"
   make_jar "$TARGET_BASE"
+  classpath "$PWD/$TARGET_BASE"
 
   init_resources "${RESOURCES[@]}"
   cp src/jEdit.props dist/properties/.