Changeset 5541:e05dd70a374c

Timestamp:

08/01/07 18:33:17 (6 years ago)

Author:

William Stein <wstein@…>

Branch:

default

Message:

Temporary less bad way to build when upgrading.

File:

• spkg-install (modified) (1 diff)

spkg-install

@@ -51 +51 @@
     # We also delete the build directory, since it could contain 
     # old .py files we don't want anymore. 
-    rm -rf build
+    # Do a copy, link, etc., later.  This is bad because it means
+    # that a failed build yields a broken sage.  Fix that problem first.
+    #rm -rf build
+
 
     "$SAGE_ROOT/sage" -b main