13 lines
491 B
Diff
13 lines
491 B
Diff
--- 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'?"
|