featherchen commented on issue #4266: URL: https://github.com/apache/gravitino/issues/4266#issuecomment-2251310419
Hi, @xunliu. Since there are many build options can be set, e.g. those in `gradle.properties`, it might be complicated for users to set these properties each time executing `build.sh`. However, listing all the combinations of possible building options might be hard to understand and maintain. Maybe we could record the previous building options somewhere (e.g. some JSON file) and ask the user whether to use it or modify it based on the script we write ? -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
