I found this problem during windows CI: When you clone from a git repo, configure.ac can be newer than configure, thus "make" will try to run "autoconf" to update it.
I found this not very nice. I found 2 ways to improve this: 1. manually "touch configure" before everything. 2. use "AM_MAINTAINER_MODE". What's your opinion? - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/d07c2802-7d9a-23c5-d022-5aab3e1bbb06%40gmail.com.
