summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJan Keitel <jan.keitel@gmail.com>2015-08-05 13:58:17 +0200
committerJan Keitel <jan.keitel@gmail.com>2015-08-05 13:58:17 +0200
commit68e5d145936af69ea63cdd9a01d42c38bb0306d0 (patch)
tree2ddb04b980a34630f8381182b4f7e5c2dc5a9ec2
parentUpdated Sage version to 6.8 (diff)
Ignore files in spkg directoryu/jkeitel/sage-list-packages
-rwxr-xr-xsrc/bin/sage-list-packages2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/bin/sage-list-packages b/src/bin/sage-list-packages
index 88f0f55..e809e40 100755
--- a/src/bin/sage-list-packages
+++ b/src/bin/sage-list-packages
@@ -52,6 +52,8 @@ installed = dict(pkgname_split(pkgname)
SAGE_PKGS = os.path.join(SAGE_ROOT, "build", "pkgs")
local = {}
for p in os.listdir(SAGE_PKGS):
+ if not os.path.isdir(os.path.join(SAGE_PKGS, p)):
+ continue
with open(os.path.join(SAGE_PKGS, p, "package-version.txt")) as f:
version = f.read().strip()
with open(os.path.join(SAGE_PKGS, p, "type")) as f: