2018-02-04 23:00:11 +00:00
|
|
|
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 @@
|
2017-10-20 01:36:29 +01:00
|
|
|
## Singular
|
|
|
|
###########################################
|
2015-09-18 14:56:05 +01:00
|
|
|
|
2018-02-04 23:00:11 +00:00
|
|
|
+# 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
|
2015-09-18 14:56:05 +01:00
|
|
|
+
|
2017-10-20 01:36:29 +01:00
|
|
|
if [ -z "$SAGE_LOCAL" ]; then
|
|
|
|
echo >&2 "Error: SAGE_LOCAL undefined -- exiting..."
|
|
|
|
echo >&2 "Maybe run 'sage -sh'?"
|