chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4546929) | patch
build: delete bad builder/ symlinks
authorHans-Christoph Steiner <hans@eds.org>
Tue, 25 Apr 2017 08:27:09 +0000 (10:27 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:06:06 +0000 (20:06 +0200)
commit6106b962a2be1d401e2e476cd2260d7baf0ec177
treea6a4e80acfc36210a17a8e395201945b24b65a55tree | snapshot
parent4546929d7f2c2a08f49bd48ef4bc664da58ba6cecommit | diff
build: delete bad builder/ symlinks

If builder/ is a symlink but is not detected as a directory by
os.path.isdir(), then it is a broken symlink.
fdroidserver/build.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.