diff --git a/build/pkgs/singular/spkg-install b/build/pkgs/singular/spkg-install index 8caafb1699..3c34e6608a 100644 --- a/build/pkgs/singular/spkg-install +++ b/build/pkgs/singular/spkg-install @@ -2,6 +2,13 @@ ## Singular ########################################### +# Fix hardcoded paths, while making sure to only update timestamps of actually +# changed files (otherwise confuses make) +grep -rlF '/bin/rm' . | while read file +do + sed -e 's@/bin/rm@rm@g' -i "$file" +done + if [ -z "$SAGE_LOCAL" ]; then echo >&2 "Error: SAGE_LOCAL undefined -- exiting..." echo >&2 "Maybe run 'sage -sh'?"