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/.