| changeset 47314 | 743814386712 |
| parent 47253 | 92fd0e04e0e1 |
--- a/make/Jprt.gmk Thu Oct 05 11:02:18 2017 +0200 +++ b/make/Jprt.gmk Thu Oct 05 12:41:06 2017 +0200 @@ -104,4 +104,4 @@ ################################################################################ -$(eval $(call IncludeCustomExtension, , Jprt.gmk)) +$(eval $(call IncludeCustomExtension, Jprt.gmk))