diff --git a/pkgs/plt-services/meta/pkg-build/main.rkt b/pkgs/plt-services/meta/pkg-build/main.rkt index b0a8df3f60..f4243ae064 100644 --- a/pkgs/plt-services/meta/pkg-build/main.rkt +++ b/pkgs/plt-services/meta/pkg-build/main.rkt @@ -144,13 +144,13 @@ ;; + "P.zip.CHECKSUM" ;; => up-to-date and successful, ;; "docs/P-adds.rktd" listing of docs, exes, etc., and - ;; "success/P" records success; - ;; "install/P" records installation - ;; "deps/P" record dependency-checking failure; + ;; "success/P.txt" records success; + ;; "install/P.txt" records installation + ;; "deps/P.txt" record dependency-checking failure; ;; * pkgs/P.orig-CHECKSUM matching archived catalog - ;; + fail/P + ;; + fail/P.txt ;; => up-to-date and failed; - ;; "install/P" may record installation success + ;; "install/P.txt" may record installation success ;; ;; "dumpster" --- saved builds of failed packages if the ;; package at least installs; maybe the attempt built @@ -988,7 +988,7 @@ (substatus " ~a ~s:\n" (caar v) (cdar v)) (show-list #:indent " " (sort (set->list (cdr v)) string