--- old/build/pkgs/singular/spkg-install 2017-10-15 10:35:41.826540964 -0500 +++ new/build/pkgs/singular/spkg-install 2017-10-15 10:36:40.613743443 -0500 @@ -4,6 +4,9 @@ ## Singular ########################################### +find . -type f -exec sed -e 's@/bin/rm@rm@g' -i '{}' ';' +#echo '#!/usr/bin/env bash\nIgnoring missing $1' > src/build-aux/missing + if [ -z "$SAGE_LOCAL" ]; then echo >&2 "Error: SAGE_LOCAL undefined -- exiting..." echo >&2 "Maybe run 'sage -sh'?"