From 46469d39035014203fa24c51af11b2d2ba594838 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 16 Jul 2014 09:13:13 +0100 Subject: [PATCH] meta/pkg-build: missed some ".txt"s --- pkgs/plt-services/meta/pkg-build/main.rkt | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) 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