272e930827
The build was failing on some machines because of a `find` command that touched files in different orders on different machines. That confused `make`s timestamp mechanism. |
||
---|---|---|
.. | ||
default.nix | ||
env.patch | ||
fetch-mirrors.sh | ||
patchSageShebangs.sh | ||
shebangs.patch | ||
spkg-giac.patch | ||
spkg-git.patch | ||
spkg-python.patch | ||
spkg-singular.patch |