]> gitweb.michael.orlitzky.com - bash.d.git/commit
sage.sh: add --with-system-curl=force to sage-configure().
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 23 Sep 2021 23:12:08 +0000 (19:12 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 23 Sep 2021 23:12:08 +0000 (19:12 -0400)
commit7ee08e17fe77ab2e0f8adba2b620b80a941baae0
treeffeec62213dc693091840bc1a4d1cfcc3fd1531f
parentec168dae7b68f19d6c6cd813574b4f4dfa935e1b
sage.sh: add --with-system-curl=force to sage-configure().
sage.sh